Properly distinguish between / and // for Python 3.
authorEric S. Raymond <esr@thyrsus.com>
Mon, 22 Apr 2019 07:26:31 +0000 (03:26 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Mon, 22 Apr 2019 09:02:19 +0000 (05:02 -0400)

No differences found