NOTES: tiny fix
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 15 May 2019 21:02:10 +0000 (22:02 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 18 May 2019 00:22:52 +0000 (01:22 +0100)
commit291906b8bcb96b70936f6b2a93b2bd49b3b167e0
treece2acb942f4f7f703ae2d8438bc60d1a42ef8568
parent6f0c71c532c29b8900ce4cdd85efcedd020badbd
NOTES: tiny fix

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
NOTES