Thu, 15 Mar 2018 08:41:10 +0100Closing unneeded heads, reopen if still needed IOS-749
Dirk Zimmermann <dirk@pep-project.org> [Thu, 15 Mar 2018 08:41:10 +0100] rev 4258
Closing unneeded heads, reopen if still needed

Thu, 15 Mar 2018 08:41:01 +0100Closing unneeded heads, reopen if still needed IOS-716
Dirk Zimmermann <dirk@pep-project.org> [Thu, 15 Mar 2018 08:41:01 +0100] rev 4257
Closing unneeded heads, reopen if still needed

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

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

Thu, 15 Mar 2018 08:40:37 +0100Closing unneeded heads, reopen if still needed IOSAD-61
Dirk Zimmermann <dirk@pep-project.org> [Thu, 15 Mar 2018 08:40:37 +0100] rev 4254
Closing unneeded heads, reopen if still needed

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