Tue, 22 Oct 2019 16:09:58 +0200merge IOS-1868
Dirk Zimmermann <dz@pep.security> [Tue, 22 Oct 2019 16:09:58 +0200] rev 10542
merge IOS-1868

Tue, 22 Oct 2019 16:01:52 +0200IOS-1868 close branch IOS-1868
Dirk Zimmermann <dz@pep.security> [Tue, 22 Oct 2019 16:01:52 +0200] rev 10541
IOS-1868 close branch

Tue, 22 Oct 2019 16:01:19 +0200IOS-1868 Coding guidelines. IOS-1868
Dirk Zimmermann <dz@pep.security> [Tue, 22 Oct 2019 16:01:19 +0200] rev 10540
IOS-1868 Coding guidelines.

Tue, 22 Oct 2019 15:59:14 +0200IOS-1868 close branch IOS-1868
Dirk Zimmermann <dz@pep.security> [Tue, 22 Oct 2019 15:59:14 +0200] rev 10539
IOS-1868 close branch

Tue, 22 Oct 2019 15:57:24 +0200IOS-1868 Coding guidelines. IOS-1868
Dirk Zimmermann <dz@pep.security> [Tue, 22 Oct 2019 15:57:24 +0200] rev 10538
IOS-1868 Coding guidelines.

Tue, 22 Oct 2019 15:55:12 +0200merge default IOS-1868
Dirk Zimmermann <dz@pep.security> [Tue, 22 Oct 2019 15:55:12 +0200] rev 10537
merge default

Tue, 22 Oct 2019 10:36:47 +0200merge default IOS-1809
buff <andreas@pep-project.org> [Tue, 22 Oct 2019 10:36:47 +0200] rev 10536
merge default

Tue, 22 Oct 2019 10:33:01 +0200IOS-1948 fixes: PEP_ILLEGAL_VALUE when bcc is set
buff <andreas@pep-project.org> [Tue, 22 Oct 2019 10:33:01 +0200] rev 10535
IOS-1948 fixes: PEP_ILLEGAL_VALUE when bcc is set

Tue, 22 Oct 2019 10:04:55 +0200IOS-1809 rm dead and obsolete code IOS-1809
buff <andreas@pep-project.org> [Tue, 22 Oct 2019 10:04:55 +0200] rev 10534
IOS-1809 rm dead and obsolete code

Fri, 18 Oct 2019 21:59:10 +0200cosmetic IOS-1809
buff <andreas@pep-project.org> [Fri, 18 Oct 2019 21:59:10 +0200] rev 10533
cosmetic