v7.2-19
github-actions
released this
10 Mar 17:00
·
17 commits
to releases
since this release
NANO CHANGES
-
tweaks: shrink the set of characters recognized as line-column separator
This slightly reduces the chance that a filename is accidentally parsed
as containing both a line and a column number at its end. -
docs: document the
<filename>:<linenumber>
thing for cursor positioning -
tweaks: condense the code that searches for a colon plus line number