Skip to content

2024-July-25 - 2.7.14821

Pre-release
Pre-release

Choose a tag to compare

@github-actions github-actions released this 25 Jul 02:00
caad104
Simplify zipped maps extraction error handling (#12768)

Update to, if a bot - then simply delete the zip file.
If not a bot, then move the zip file to bad-zips.