Closed sebastiaanspeck closed 1 week ago
Just like was done in https://github.com/StevenLooman/magik-tools/commit/4ea9bdb479e898cee0bb6a69aed57e26ad955540 for magik-lint
This was done in magik-lint for clarity and shouldn't do anything really. But for consistency...
magik-lint
Thanks!
Just like was done in https://github.com/StevenLooman/magik-tools/commit/4ea9bdb479e898cee0bb6a69aed57e26ad955540 for magik-lint