[koha-commits] main Koha release repository branch new/bug_9419 deleted. v3.12.00-beta1-42-g3e413c5

[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_9419 has been deleted
       was  3e413c5491edca64b65f7f2a63cf5497bd6682e9

-----------------------------------------------------------------------
3e413c5491edca64b65f7f2a63cf5497bd6682e9 Bug 9419: The highlight feature can cause a browser freeze
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository