[koha-commits] main Koha release repository branch new/bug_8427 deleted. v3.08.00-548-ga49526f

[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_8427 has been deleted
       was  a49526f426c7e83ce61caa31675969511ff10dd8

-----------------------------------------------------------------------
a49526f426c7e83ce61caa31675969511ff10dd8 Bug 8427 - Patron search results not consistent
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository