Closed gmrchk closed 8 months ago
Preparation by @hirasso https://github.com/gmrchk/scrl/pull/1
Ready for review @gmrchk :)
I'll close this as stale and currently not required, guess we can always reopen it when needed.
Preparation by @hirasso https://github.com/gmrchk/scrl/pull/1