Merge branch 'master' of http://wagnertech.de/git/projects
authorMichael Wagner <michael@wagnertech.de>
Wed, 18 Jul 2018 09:41:39 +0000 (11:41 +0200)
committerMichael Wagner <michael@wagnertech.de>
Wed, 18 Jul 2018 09:41:39 +0000 (11:41 +0200)
commit7c9179865a6457ed9bbe4dec9d00c37ceb18bdc0
treecca038d160e03d47f6518a1bf7c479ea7ed3494e
parenta493164fedb7e5e18fc852b14a03ff149bab8709
parentf95a6d2cfaffc95c415f799e05e7b02c8040b9be
Merge branch 'master' of wagnertech.de/git/projects