[koha-commits] main Koha release repository branch new/bug_3212 deleted. v3.02.00-616-gf1f36a0

[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_3212 has been deleted
       was  f1f36a0c940fa53a5671b379a31d77c2cbe40a7f

-----------------------------------------------------------------------
f1f36a0c940fa53a5671b379a31d77c2cbe40a7f Bug 3212 Force leader 9 position to 'a' for new biblios
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository