Handle a bare numeric token on the command line a bit more gracefully.
authorEric S. Raymond <esr@thyrsus.com>
Sun, 11 Nov 2018 14:05:03 +0000 (09:05 -0500)
committerEric S. Raymond <esr@thyrsus.com>
Sun, 11 Nov 2018 14:05:03 +0000 (09:05 -0500)

No differences found