Merge pull request #12779 from pwithnall/minor-fixes
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 12 Jun 2019 12:20:32 +0000 (14:20 +0200)
committerGitHub <noreply@github.com>
Wed, 12 Jun 2019 12:20:32 +0000 (14:20 +0200)
commit6ae827906d3ba4f6eda2f6f27ff41d01b965f572
tree679ceec446144c91d4beac4d5ff1d5936395a956
parente5dd7bc25d0f6b346ac5226b9184df799ba638a1
parent226a08f28fe271394216288ed5672fc88e744144
Merge pull request #12779 from pwithnall/minor-fixes

Minor fixes