Replace cleanup_numbered_dir with atexit.register

2020-03-20 15:38:55 +01:00
parent c871d8b2b6
commit bde0ebcda9
3 changed files with 10 additions and 6 deletions
@@ -227,6 +227,7 @@ Pedro Algarvio
 Philipp Loose
 Pieter Mulder
 Piotr Banaszkiewicz
+Piotr Helm
 Prashant Anand
 Pulkit Goyal
 Punyashloka Biswal