[koha-commits] main Koha release repository branch new/bug_7401 deleted. v3.08.00-853-g881ee1b

[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_7401 has been deleted
       was  881ee1b1a14691db09cce9ef0ce4ad01151e884d

-----------------------------------------------------------------------
881ee1b1a14691db09cce9ef0ce4ad01151e884d Bug 7401 - Shelving Location facet
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository