Manual merge of GitLab MR !1
authorEric S. Raymond <esr@thyrsus.com>
Sun, 12 Aug 2018 16:06:38 +0000 (12:06 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Sun, 12 Aug 2018 16:06:38 +0000 (12:06 -0400)
commit3ac5429fbbbb579c41e762f0a6173e52127ab133
tree5dd95828cc9910513f209af95b7ec9cddc373a41
parente66fcee3307eb7795a9c2c2cf606c451e603698c
Manual merge of GitLab MR !1
Makefile