[koha-commits] main Koha release repository branch new/bug_9863 deleted. v3.12.00-beta1-9-gcf75c7c

[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_9863 has been deleted
       was  cf75c7c92cab3722d620464abbbc7210a232a9d3

-----------------------------------------------------------------------
cf75c7c92cab3722d620464abbbc7210a232a9d3 Bug 9863: Correct casing and add arrow-heads for consistency with earlier submit messages.
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository