Closed mnot closed 3 years ago
Fixes #13
@dret done; see change.
P.S. GitHub lets you make suggestions using the little +/- icon in the inline comment UX :)
Fixes #13