Skip to content

v13.2.13

Choose a tag to compare

@github-actions github-actions released this 18 Feb 22:16
36e5b3f
fix: file move after directory move doesn't work correctly (#700)

Co-authored-by: Flepp Jann <JFlepp@Hamilton.ch>
Co-authored-by: Florian Greinacher <florian@greinacher.de>