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)
commit93c8760086904f920a04a2e5b7ee9298c6d00357
tree912b71d024bac3149f244e291b8886e741f4f963
parent7687e02d6c0b503855a28b0dee642f1c457f1ef0
parent3af20fd507d0e0a62aadb855169e7b066e3f4b39
Merge pull request #255 from TheBlueMatt/2018-11-230-ext

Two post-#230 fixups