Closed tonypony220 closed 3 weeks ago
@tonypony220 how is it going? should someone else take over?
@FabijanC in progress, are you in rush for resolving this?
@FabijanC in progress, are you in rush for resolving this?
Ok! Not in a rush, just want to prevent this from becoming stale.
Usage related changes
resolves #496
Development related changes
Checklist:
./scripts/format.sh
./scripts/clippy_check.sh
./scripts/check_unused_deps.sh
./scripts/check_spelling.sh
./website/README.md