Sync patch.
authorEric S. Raymond <esr@thyrsus.com>
Wed, 14 Nov 2018 16:43:38 +0000 (11:43 -0500)
committerEric S. Raymond <esr@thyrsus.com>
Wed, 14 Nov 2018 16:43:38 +0000 (11:43 -0500)

No differences found