Bump docker-registry.wikimedia.org/wikimedia/mediawiki-libs-shellbox:2022-12-05-111819-timeline to 2023-02-24-002648-timeline
requested to merge docker-registry.wikimedia.org/wikimedia/mediawiki-libs-shellbox_2022-12-05-111819-timeline_to_2023-02-24-002648-timeline into main
Bump docker-registry.wikimedia.org/wikimedia/mediawiki-libs-shellbox:2022-12-05-111819-timeline to 2023-02-24-002648-timeline