chiark / gitweb /
hidden: Make NotchNumber a u32
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 11 Mar 2021 20:06:07 +0000 (20:06 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 11 Mar 2021 21:30:33 +0000 (21:30 +0000)
commit2c7da9c7a6c6729f493399aeaae2ba93cd05b673
treef486c8fdfeb1a32ecf06ddd58f5895fd4570c7aa
parent6a8c58f3762027b504948f34662ac4aa5254ff48
hidden: Make NotchNumber a u32

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