Closed Ghabry closed 7 months ago
small stuff not worth individual PRs
this is ready now. I do not plan any further commits here (the memory leak issue will be addressed in another PR)
small stuff not worth individual PRs