[koha-commits] main Koha release repository branch new/bug_7519 deleted. v3.06.00-523-g858efb4

[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_7519 has been deleted
       was  858efb488643979eeddcf99f532e1bfaa45287d5

-----------------------------------------------------------------------
858efb488643979eeddcf99f532e1bfaa45287d5 Bug 7519 - show patron's street number in search results
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository