[koha-commits] main Koha release repository branch new/bug_5831 deleted. v3.02.00-758-g8dc56a0

[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_5831 has been deleted
       was  8dc56a0d2c5f33f6d14e2039c7cad9fa9598f14f

-----------------------------------------------------------------------
8dc56a0d2c5f33f6d14e2039c7cad9fa9598f14f Bug 5831: rebuild_zebra.pl doesn't respect -r
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository