[koha-commits] main Koha release repository branch new/bug_9257 deleted. v3.12.00-alpha2-114-g2b057da

[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_9257 has been deleted
       was  2b057da0d578964e67a29776a4d1c9e4ac45b14b

-----------------------------------------------------------------------
2b057da0d578964e67a29776a4d1c9e4ac45b14b Bug 9257: Increment version number
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository