Repair dist slightly broken by previous commit.
authorEric S. Raymond <esr@thyrsus.com>
Sun, 4 Jun 2017 09:43:49 +0000 (05:43 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Sun, 4 Jun 2017 09:50:39 +0000 (05:50 -0400)

No differences found