[koha-commits] main Koha release repository branch new/bug_8241 deleted. v3.08.00-336-g30dc74b

[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_8241 has been deleted
       was  30dc74b7fbfaf0fdabb9f855dc1633d10898e187

-----------------------------------------------------------------------
30dc74b7fbfaf0fdabb9f855dc1633d10898e187 Bug 8241: Remove text fragment from Z39.50-Server search
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository