Merge pull request #255 from TheBlueMatt/2018-11-230-ext
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Wed, 21 Nov 2018 16:41:42 +0000 (11:41 -0500)
committerGitHub <noreply@github.com>
Wed, 21 Nov 2018 16:41:42 +0000 (11:41 -0500)
Two post-#230 fixups


Trivial merge