Skip to content

Fix opening file after rename in COOL#3341

Merged
juliusknorr merged 1 commit intostable26from private/eszkadev/stable-26-fix-renameDec 6, 2023

Commits

Commits on Dec 6, 2023