Fix bug that led to comments bnot being ignored.
authorEric S. Raymond <esr@thyrsus.com>
Fri, 26 May 2017 09:14:18 +0000 (05:14 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Fri, 26 May 2017 09:14:18 +0000 (05:14 -0400)

No differences found