Closed MikeSchmid closed 1 year ago
fixes #11
Merging PR. Better late than never. Thanks for the contribution @MikeSchmid!
fixes #11