Closed pverscha closed 2 years ago
This PR provides a fix for #209. Old, redundant Docker images are now automatically removed once a new version has been downloaded.
This PR provides a fix for #209. Old, redundant Docker images are now automatically removed once a new version has been downloaded.