[koha-commits] main Koha release repository branch new/bug_7557 deleted. v3.06.00-736-g533ecd9

[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_7557 has been deleted
       was  533ecd9392fe3ea937641283d2c494af484db0f4

-----------------------------------------------------------------------
533ecd9392fe3ea937641283d2c494af484db0f4 Bug 7557 follow-up: DBRev number and removed default value
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository