Commit 3204bfe96cc8fc6ecfa8c73597bfa68bdada1482

William Pitcock 2017-01-25T17:07:10

configure: reenable dist-gzip