chiark / gitweb /
updates: delete RECENT_BUFFER
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 22 Aug 2020 21:31:41 +0000 (22:31 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 22 Aug 2020 21:31:41 +0000 (22:31 +0100)
commit3aca5a9416642a24b99d3e0e020ae08d5f279420
tree4acc48462003ec8f6fdf0df8cfea37ff4babc036
parent09b06f184ef36199eba15b508804699ba6874d69
updates: delete RECENT_BUFFER
src/updates.rs