Merge remote-tracking branch 'origin/master' into identity_abe
authorSchanzenbach, Martin <martin.schanzenbach@aisec.fraunhofer.de>
Tue, 5 Dec 2017 16:27:33 +0000 (17:27 +0100)
committerSchanzenbach, Martin <martin.schanzenbach@aisec.fraunhofer.de>
Tue, 5 Dec 2017 16:27:33 +0000 (17:27 +0100)

Trivial merge