Merge pull request #175.
authorStefan Junker <mail@stefanjunker.de>
Thu, 19 May 2016 10:07:30 +0000 (12:07 +0200)
committerStefan Junker <mail@stefanjunker.de>
Thu, 19 May 2016 10:08:41 +0000 (12:08 +0200)
commit74790e55efdc7620ab8b8308c2dd905cedcaafa7
treeb16c9e2cb5674b3edc64203bacb47253c2f7fa1d
parent72e98b97d6bf63c9cceab83e82ec64b1f73caa1b
parent89ab9299abcc165ad41189c407f8691eb95f8262
Merge pull request #175.