Thu, 19 Sep 2019 07:07:41 +0200merge default IOS-1832 tip
Dirk Zimmermann <dz@pep.security> [Thu, 19 Sep 2019 07:07:41 +0200] rev 10053
merge default

Wed, 18 Sep 2019 18:18:23 +0200adapts MM changes default
buff <andreas@pep-project.org> [Wed, 18 Sep 2019 18:18:23 +0200] rev 10052
adapts MM changes

Wed, 18 Sep 2019 16:56:14 +0200IOS-1751OK better naming IOS-1751OK
Xavier Algarra <xavier@pep-project.org> [Wed, 18 Sep 2019 16:56:14 +0200] rev 10051
IOS-1751OK better naming

Wed, 18 Sep 2019 16:49:33 +0200merge default IOS-1751OK
Xavier Algarra <xavier@pep-project.org> [Wed, 18 Sep 2019 16:49:33 +0200] rev 10050
merge default

Wed, 18 Sep 2019 16:16:16 +0200merge IOS-1787
Xavier Algarra <xavier@pep-project.org> [Wed, 18 Sep 2019 16:16:16 +0200] rev 10049
merge IOS-1787

Wed, 18 Sep 2019 16:15:57 +0200IOS-1787 close branch IOS-1787
Xavier Algarra <xavier@pep-project.org> [Wed, 18 Sep 2019 16:15:57 +0200] rev 10048
IOS-1787 close branch

Wed, 18 Sep 2019 16:10:59 +0200merge default IOS-1787
Xavier Algarra <xavier@pep-project.org> [Wed, 18 Sep 2019 16:10:59 +0200] rev 10047
merge default

Wed, 18 Sep 2019 16:05:01 +0200merge default
Xavier Algarra <xavier@pep-project.org> [Wed, 18 Sep 2019 16:05:01 +0200] rev 10046
merge default

Wed, 18 Sep 2019 16:04:37 +0200IOS-1453 close branch IOS-1453
Xavier Algarra <xavier@pep-project.org> [Wed, 18 Sep 2019 16:04:37 +0200] rev 10045
IOS-1453 close branch

Wed, 18 Sep 2019 16:04:03 +0200merge default IOS-1453
Xavier Algarra <xavier@pep-project.org> [Wed, 18 Sep 2019 16:04:03 +0200] rev 10044
merge default