Closed raboof closed 4 months ago
Avoids a run-time error (though it seems harmless), follow-up on #123
Avoids a run-time error (though it seems harmless), follow-up on #123