Closed JoostvDoorn closed 7 years ago
This fixes #354.
Thanks, @JoostvDoorn. Your fix has been merged.
This fixes #354.