chiark / gitweb /
fix
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 23 Aug 2020 00:33:44 +0000 (01:33 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 23 Aug 2020 00:33:44 +0000 (01:33 +0100)
commit71abcd0ff249636dfd918e7277bd019cb2d6932f
tree002387869110cea108f76ebdfafbb58fd08954b8
parentd2b9322a5bfadd443800ab0667cdbc7f7ad0fbaf
fix
src/global.rs