Closing unneeded heads, reopen if still needed IOSAD-23-crash-or-merge-issues-deleting-mails
authorDirk Zimmermann <dirk@pep-project.org>
Thu, 15 Mar 2018 08:39:15 +0100
branchIOSAD-23-crash-or-merge-issues-deleting-mails
changeset 4248789b700ff89f
parent 2852 7713a4a69589
Closing unneeded heads, reopen if still needed