Thu, 15 Mar 2018 08:40:30 +0100Closing unneeded heads, reopen if still needed IOS-694
Dirk Zimmermann <dirk@pep-project.org> [Thu, 15 Mar 2018 08:40:30 +0100] rev 4253
Closing unneeded heads, reopen if still needed

Thu, 15 Mar 2018 08:39:59 +0100Closing unneeded heads, reopen if still needed IOSAD-50
Dirk Zimmermann <dirk@pep-project.org> [Thu, 15 Mar 2018 08:39:59 +0100] rev 4252
Closing unneeded heads, reopen if still needed

Thu, 15 Mar 2018 08:39:46 +0100Closing unneeded heads, reopen if still needed IOS-700-sluggish-ui
Dirk Zimmermann <dirk@pep-project.org> [Thu, 15 Mar 2018 08:39:46 +0100] rev 4251
Closing unneeded heads, reopen if still needed

Thu, 15 Mar 2018 08:39:36 +0100Closing unneeded heads, reopen if still needed IOSAD-49
Dirk Zimmermann <dirk@pep-project.org> [Thu, 15 Mar 2018 08:39:36 +0100] rev 4250
Closing unneeded heads, reopen if still needed

Thu, 15 Mar 2018 08:39:26 +0100Closing unneeded heads, reopen if still needed IOS-674-sync-stops-sometimes
Dirk Zimmermann <dirk@pep-project.org> [Thu, 15 Mar 2018 08:39:26 +0100] rev 4249
Closing unneeded heads, reopen if still needed

Thu, 15 Mar 2018 08:39:15 +0100Closing unneeded heads, reopen if still needed IOSAD-23-crash-or-merge-issues-deleting-mails
Dirk Zimmermann <dirk@pep-project.org> [Thu, 15 Mar 2018 08:39:15 +0100] rev 4248
Closing unneeded heads, reopen if still needed

Thu, 15 Mar 2018 08:38:54 +0100Closing unneeded heads, reopen if still needed IOS-651-use-idle-whenever-possible
Dirk Zimmermann <dirk@pep-project.org> [Thu, 15 Mar 2018 08:38:54 +0100] rev 4247
Closing unneeded heads, reopen if still needed

Thu, 15 Mar 2018 08:38:32 +0100Closing unneeded heads, reopen if still needed IOS-647-make-networkService-faster
Dirk Zimmermann <dirk@pep-project.org> [Thu, 15 Mar 2018 08:38:32 +0100] rev 4246
Closing unneeded heads, reopen if still needed

Thu, 15 Mar 2018 08:37:05 +0100Closing unneeded heads, reopen if still needed IOS-651-use-idle-whenever-possible
Dirk Zimmermann <dirk@pep-project.org> [Thu, 15 Mar 2018 08:37:05 +0100] rev 4245
Closing unneeded heads, reopen if still needed

Thu, 15 Mar 2018 07:58:10 +0100IOSAD-72 keyMistrusted
Dirk Zimmermann <dirk@pep-project.org> [Thu, 15 Mar 2018 07:58:10 +0100] rev 4244
IOSAD-72 keyMistrusted