Commit 6b2133b4e9f7f17844254d333428e7367c71fe37

Patrick Steinhardt 2017-06-27T12:46:15

Merge pull request #4235 from pks-t/pks/out-of-tree-builds Out of tree builds