Merge pull request #165 from TheBlueMatt/2018-09-pre-disconnect-misc
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Tue, 11 Sep 2018 19:01:35 +0000 (15:01 -0400)
committerGitHub <noreply@github.com>
Tue, 11 Sep 2018 19:01:35 +0000 (15:01 -0400)
commitbde48b2c158c4c2f0a9a21e192e2ed914dd2aa77
treeb25909496a3c84f06752da129d2e0993eca574a2
parentf71ff8f0ac72e705a4e722afec4cbc722f29ac95
parenta2d4889e32abcad0a84317156d338b431f0d94d6
Merge pull request #165 from TheBlueMatt/2018-09-pre-disconnect-misc

Further minor misc changes from reconnect work