[koha-commits] main Koha release repository branch new/bug_8646 deleted. v3.08.00-626-ge9e95e2

[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_8646 has been deleted
       was  e9e95e218fff85a58714868bc67c10071666cae4

-----------------------------------------------------------------------
e9e95e218fff85a58714868bc67c10071666cae4 Bug 8646 - prevent the highlighter from going infinite loop
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository