chiark / gitweb /
fix
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 12 Nov 2020 21:59:04 +0000 (21:59 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 12 Nov 2020 21:59:04 +0000 (21:59 +0000)
commit1253467bb05b69c01dade273d03d0add3ad942cd
treebad5f4f9cf7f0f48b50c6739399156c7556b5913
parent6730dae884b021211678a72ed5cb9679a348ca08
fix

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