Merge pull request #771 from annando/quick-fix
authorMichael Vogel <icarus@dabo.de>
Mon, 5 Nov 2018 19:06:42 +0000 (20:06 +0100)
committerGitHub <noreply@github.com>
Mon, 5 Nov 2018 19:06:42 +0000 (20:06 +0100)
commit98895c53569ad1fd750a75ded83f84d8382f0b1e
tree3e1b8a1403b011a879298fd6142edc852e36a79d
parent3e7be22fd92f5e5f2177ae693898455a763b0d98
parent6632ce40ebd5239dc3029b15a2e5e411687fc6cd
Merge pull request #771 from annando/quick-fix

Fix PR 770