[koha-commits] main Koha release repository branch new/bug_9918 deleted. v3.12.00-beta1-4-g16ea5ff

[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_9918 has been deleted
       was  16ea5ffd1de99340adeb566aeb0110653b7cd67c

-----------------------------------------------------------------------
16ea5ffd1de99340adeb566aeb0110653b7cd67c Bug 9918 - build script updates, default to building 3.12
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository