Closed danielo515 closed 3 years ago
fixes #241
fyi @MoOx @jonathantneal @Semigradsky, can one of you guys merge this?
cc: @danielo515
Thanks, @danielo515, for the fix, and @petertdinh, for the ping!
fixes #241