Closed bertsky closed 1 month ago
fixes #1150
Note: before you merge – I'm already preparing an alternative PR with workspace clean functionality instead of the second commit.
workspace clean
fixes #1150