Merge pull request #229 from bgamari/fix-T227
authorHerbert Valerio Riedel <hvr@gnu.org>
Mon, 27 Aug 2018 17:00:36 +0000 (19:00 +0200)
committerGitHub <noreply@github.com>
Mon, 27 Aug 2018 17:00:36 +0000 (19:00 +0200)
commitbc54cce7e2c77c316940c37c3ee37e4b482eb60c
treebcf4537286cc69f83b56ac598941f178d8545ca2
parent0b507a3545c9cac3bf1024b8437d40f1c645a699
parenta19121e3b18ff82cd7eebedc8517ad75019f56af
Merge pull request #229 from bgamari/fix-T227

Addresses #227 and #221