chiark / gitweb /
fixes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 22 Aug 2020 23:24:54 +0000 (00:24 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 22 Aug 2020 23:24:54 +0000 (00:24 +0100)
commit74ac2b52f20f1bfcaa042bf2cca5036c48eff263
tree72de65da030ea3d88cfa66a716c6134ca0bd70a1
parent595aa6f20efdcba5fd625176d9d3ce1ac46de944
fixes
src/global.rs