Remove total-ordering assumption.
authorEric S. Raymond <esr@thyrsus.com>
Fri, 16 Jun 2017 12:39:01 +0000 (08:39 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Fri, 16 Jun 2017 12:39:01 +0000 (08:39 -0400)

No differences found