Bump docker-registry.wikimedia.org/wikimedia/mediawiki-libs-shellbox image group to 2024-06-10-140015
requested to merge Bump_docker-registry.wikimedia.org/wikimedia/mediawiki-libs-shellbox_image_group_to_2024-06-10-140015 into main
Bump docker-registry.wikimedia.org/wikimedia/mediawiki-libs-shellbox image group to 2024-06-10-140015