Thu, 02 Aug 2018 16:49:48 +0200IOS-1222 adds UrlClickHandlerProtocol
buff <andreas@pep-project.org> [Thu, 02 Aug 2018 16:49:48 +0200] rev 5671
IOS-1222 adds UrlClickHandlerProtocol

Thu, 02 Aug 2018 15:15:02 +0200IOS-1226 referencedTopMessages() only considering top messages
Dirk Zimmermann <dirk@pep-project.org> [Thu, 02 Aug 2018 15:15:02 +0200] rev 5670
IOS-1226 referencedTopMessages() only considering top messages

Thu, 02 Aug 2018 10:37:19 +0200IOS-1182 let it run on debug
Dirk Zimmermann <dirk@pep-project.org> [Thu, 02 Aug 2018 10:37:19 +0200] rev 5669
IOS-1182 let it run on debug

Thu, 02 Aug 2018 10:06:17 +0200IOS-1210 renames method.
buff <andreas@pep-project.org> [Thu, 02 Aug 2018 10:06:17 +0200] rev 5668
IOS-1210 renames method.

Thu, 02 Aug 2018 09:43:08 +0200IOS-1224 cleanup.
buff <andreas@pep-project.org> [Thu, 02 Aug 2018 09:43:08 +0200] rev 5667
IOS-1224 cleanup.

Wed, 01 Aug 2018 21:29:19 +0200IOS-1212 toolbar is restored to it's default value after leaving from settings view
Xavier Algarra <xavier@pep-project.org> [Wed, 01 Aug 2018 21:29:19 +0200] rev 5666
IOS-1212 toolbar is restored to it's default value after leaving from settings view

Wed, 01 Aug 2018 19:59:27 +0200IOS-1224 fixes: deleted flag change ignored by UI
buff <andreas@pep-project.org> [Wed, 01 Aug 2018 19:59:27 +0200] rev 5665
IOS-1224 fixes: deleted flag change ignored by UI

Wed, 01 Aug 2018 17:56:52 +0200IOS-1190 fixes: sync local messages fails due to outdated UID cache.
buff <andreas@pep-project.org> [Wed, 01 Aug 2018 17:56:52 +0200] rev 5664
IOS-1190 fixes: sync local messages fails due to outdated UID cache.

Wed, 01 Aug 2018 14:51:42 +0200merges the other tip/head/default
buff <andreas@pep-project.org> [Wed, 01 Aug 2018 14:51:42 +0200] rev 5663
merges the other tip/head/default

Wed, 01 Aug 2018 14:39:45 +0200IOS-1190 updates exist count in any way. To make sure.
buff <andreas@pep-project.org> [Wed, 01 Aug 2018 14:39:45 +0200] rev 5662
IOS-1190 updates exist count in any way. To make sure.