chiark / gitweb /
~ian / mastodonochrome.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a83f7e) | patch
Braino: < for <=.
authorSimon Tatham <anakin@pobox.com>
Sun, 31 Dec 2023 15:06:29 +0000 (15:06 +0000)
committerSimon Tatham <anakin@pobox.com>
Sun, 31 Dec 2023 15:06:29 +0000 (15:06 +0000)
commitae98a45b4b01682ea35b46433a75c6fc20a13475
tree10fcb67267548891e13934639e499770c91f6862tree | snapshot
parent6a83f7e1cc1209455f38bd0d1e4395dbab1f8cadcommit | diff
Braino: < for <=.

Would have caused an unnecessary coarsen_pos() if we were sitting on
the first _non-header_ item in a file at the point when it failed to
extend backwards.
src/file.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.