Update docs to track Peje's latest patch.
authorEric S. Raymond <esr@thyrsus.com>
Tue, 13 Jun 2017 12:30:49 +0000 (08:30 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Tue, 13 Jun 2017 12:30:49 +0000 (08:30 -0400)

No differences found