https://reisub.nsupdate.info/git
/
friendica.git
/
.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
4e3849c
0225e99
)
Merge pull request #8094 from annando/deletecontact
author
Philipp
<admin+Github@philipp.info>
Sat, 11 Jan 2020 17:40:46 +0000
(18:40 +0100)
committer
GitHub
<noreply@github.com>
Sat, 11 Jan 2020 17:40:46 +0000
(18:40 +0100)
Ensure that deleted contacts are really removed
Trivial merge