Closed renepickhardt closed 2 years ago
this should fix #11
will merge without review as it is trivial. Thanks to @ejstrobel
this should fix #11