[koha-commits] main Koha release repository branch new/bug_4252 deleted. v3.02.00-318-ga6799f9

[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_4252 has been deleted
       was  a6799f95fb0315aa413c56f7d75817bb9d1a481e

-----------------------------------------------------------------------
a6799f95fb0315aa413c56f7d75817bb9d1a481e bug 4252 add authorites permission to menus
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository