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)
Addresses #227 and #221


Trivial merge