[koha-commits] main Koha release repository branch new/bug_8022 deleted. v3.08.00-51-gc7bbb0f

[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_8022 has been deleted
       was  c7bbb0f77316f08d2ca020ebe7bbc67b2f7575ef

-----------------------------------------------------------------------
c7bbb0f77316f08d2ca020ebe7bbc67b2f7575ef bug 8022 follow-up, missing permission in spanish
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository