1.95.10 protected

Seppo Yli-Olli

@nanonyme

ae0c2fe7 · Merge branch 'release' into 'master' · Oct 01, 2023

o git_repo fixed crash when creating workspaces