Thu, 21 Nov 2019 07:00:48 +0100merge default IOS-1945
Dirk Zimmermann <dz@pep.security> [Thu, 21 Nov 2019 07:00:48 +0100] rev 10918
merge default

Wed, 20 Nov 2019 19:13:30 +0100cleanup
buff <andreas@pep-project.org> [Wed, 20 Nov 2019 19:13:30 +0100] rev 10917
cleanup

Wed, 20 Nov 2019 19:02:16 +0100merge IOS-1990
buff <andreas@pep-project.org> [Wed, 20 Nov 2019 19:02:16 +0100] rev 10916
merge IOS-1990

Wed, 20 Nov 2019 19:01:56 +0100close branch IOS-1990
buff <andreas@pep-project.org> [Wed, 20 Nov 2019 19:01:56 +0100] rev 10915
close branch

Wed, 20 Nov 2019 18:59:08 +0100merge default IOS-1990
buff <andreas@pep-project.org> [Wed, 20 Nov 2019 18:59:08 +0100] rev 10914
merge default

Wed, 20 Nov 2019 18:58:06 +0100IOS-1990 fixes: key sync setting text not updated on state change IOS-1990
buff <andreas@pep-project.org> [Wed, 20 Nov 2019 18:58:06 +0100] rev 10913
IOS-1990 fixes: key sync setting text not updated on state change

Wed, 20 Nov 2019 18:57:24 +0100IOS-1990 handles new MM KeySyncDisabledByEngineNotification IOS-1990
buff <andreas@pep-project.org> [Wed, 20 Nov 2019 18:57:24 +0100] rev 10912
IOS-1990 handles new MM KeySyncDisabledByEngineNotification

Wed, 20 Nov 2019 18:55:41 +0100IOS-1990 rm dead code IOS-1990
buff <andreas@pep-project.org> [Wed, 20 Nov 2019 18:55:41 +0100] rev 10911
IOS-1990 rm dead code

Wed, 20 Nov 2019 17:17:03 +0100merge default IOS-1990
buff <andreas@pep-project.org> [Wed, 20 Nov 2019 17:17:03 +0100] rev 10910
merge default

Tue, 19 Nov 2019 19:15:32 +0100leaves info IOS-1990
buff <andreas@pep-project.org> [Tue, 19 Nov 2019 19:15:32 +0100] rev 10909
leaves info