https://bugzilla.wikimedia.org/show_bug.cgi?id=70983
Fabian CommodoreFabianus@gmx.de changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |CommodoreFabianus@gmx.de
--- Comment #1 from Fabian CommodoreFabianus@gmx.de --- In line 234 it might throw an OSError. Might be helpful to know if it throws an error and what type that is (for those who can't quickly test that on Windows).
Because it looks to me that the deletion doesn't work, for example because the file wasn't closed.