Merge branch 'master' of http://wagnertech.de/git/projects
authorMichael Wagner <michael@wagnertech.de>
Wed, 18 Jul 2018 09:40:39 +0000 (11:40 +0200)
committerMichael Wagner <michael@wagnertech.de>
Wed, 18 Jul 2018 09:40:39 +0000 (11:40 +0200)
commitf95a6d2cfaffc95c415f799e05e7b02c8040b9be
tree72c6296ed686968c17666a702478b8010a9efb32
parent033993ef8efae14d30dced92cf4a0de4aea8ccd8
parent92637bbe59b7bbd1550b7a577f349263773df4e2
Merge branch 'master' of wagnertech.de/git/projects