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)
commitdc32da58c1116f84ccb550ad7810ce3e911d109f
tree0c54245a21fa5ee32a803b74008326f6a7235795
parenta93685ca7c6c9e7ba75ff2144eb8fa429ec27716
parent55a229305917a1adf16ab5390598cf6ec316b7c4
Merge branch 'pipeexec'

Thanks Philipp!