Merge pull request #850 from wernsaar/develop
authorWerner Saar <wernsaar@googlemail.com>
Mon, 25 Apr 2016 10:00:43 +0000 (12:00 +0200)
committerWerner Saar <wernsaar@googlemail.com>
Mon, 25 Apr 2016 10:00:43 +0000 (12:00 +0200)
commit6abec09eb43a450827b3341fc9a18c188559202a
treeeff72de2ee706ab0ab39f5dec7db065b4b454e2e
parent91b4233e061c13c8e3e4b83cc1d7cba7eef8d664
parent40ac64ae4f76f31dc03e26a57f2bf03ac098b087
Merge pull request #850 from wernsaar/develop

Bugfixes and enhancements for EXCAVATOR