Merge branch 'pipeexec'
authorThomas Jarosch <thomas.jarosch@intra2net.com>
Tue, 14 Aug 2018 15:24:14 +0000 (17:24 +0200)
committerThomas Jarosch <thomas.jarosch@intra2net.com>
Tue, 14 Aug 2018 15:24:14 +0000 (17:24 +0200)
Thanks Philipp!


Trivial merge