Commit 358a3b9c382bdd1cec9330fcd55360815d9ce472

Edward Thomson 2019-02-27T10:08:00

threading: clarify concurrency of access