[koha-commits] main Koha release repository branch new/bug_9457 deleted. v3.12.00-alpha2-29-g3209941

[Git repo owner]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "main Koha release repository".

The branch, new/bug_9457 has been deleted
       was  3209941f3fbb11301c799476c6a198474362d209

-----------------------------------------------------------------------
3209941f3fbb11301c799476c6a198474362d209 Bug 9457 - Followup - Ordering branches should be case independent (2)
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository