chiark / gitweb /
note a bug as a todo
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 3 Oct 2020 10:56:26 +0000 (11:56 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 3 Oct 2020 10:56:26 +0000 (11:56 +0100)
commita53c540f0908689602f5d51f9b9edd197b451cbd
tree167f2fb532df54ca683acb558a557165e7059aab
parentd57aa1a27fcfb65d12580a786af6193f0c8d6b4c
note a bug as a todo

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/global.rs