Merge pull request #5060 from akallabeth/small_fixes
authorBernhard Miklautz <bmiklautz@users.noreply.github.com>
Thu, 22 Nov 2018 22:22:57 +0000 (22:22 +0000)
committerGitHub <noreply@github.com>
Thu, 22 Nov 2018 22:22:57 +0000 (22:22 +0000)
commit4c4e5b887d3274d343c16da782ffda47f2537a31
tree1b4cd95714efb3fcfbe0d38b537002f9836cf420
parentedcff62ffa0a1a59710c5f0dea38961eb133a7ff
parenteffa8b8562d5e4b017570815c7e4d8faa0dd9a9e
Merge pull request #5060 from akallabeth/small_fixes

Small fixes