Update history.txt.
authorEric S. Raymond <esr@thyrsus.com>
Mon, 29 May 2017 13:08:44 +0000 (09:08 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Mon, 29 May 2017 13:08:44 +0000 (09:08 -0400)

No differences found