[koha-commits] main Koha release repository branch new/bug_7722 deleted. v3.08.00-74-g377b2fd

[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_7722 has been deleted
       was  377b2fd673f2c4a24f0e1385730516efed9d25a4

-----------------------------------------------------------------------
377b2fd673f2c4a24f0e1385730516efed9d25a4 Bug 7722 - Insidious problem with searching
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository