Merge pull request #288 from infrastation/master
authorDuncan Grant <duncangrant@gmail.com>
Wed, 7 Aug 2019 09:31:20 +0000 (10:31 +0100)
committerGitHub <noreply@github.com>
Wed, 7 Aug 2019 09:31:20 +0000 (10:31 +0100)
commitf38fb8bb0396c00d417f7d59f0183b37f10e1f9d
tree36dd2c66389d7ebdb48e7ccac1698769870afa75
parent42aa82749eb118e61e1e2c20474b571e31761fd8
parent8931d81d701700425b550194be16035297891c21
Merge pull request #288 from infrastation/master

proofreading round 1 (2nd try)