[koha-commits] main Koha release repository branch new/bug_9439 deleted. v3.08.00-1673-g0839645

[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_9439 has been deleted
       was  08396458940e08b7ad9d40bf7118ce78c1c31d82

-----------------------------------------------------------------------
08396458940e08b7ad9d40bf7118ce78c1c31d82 Bug 9439 - Enforce superlibrarian mutual exclusivity of other permissions
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository