Closed cboulanger closed 6 years ago
See #68
@hkollmann Woud you merge it? Good practice bars the authors of the PR to merge it themselves. :-)
Thanks @cboulanger!
See #68