[koha-commits] main Koha release repository branch new/bug_9767 deleted. v3.08.00-1995-g3dc0f57

[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_9767 has been deleted
       was  3dc0f5728ea9fdff357356c56846636545113f91

-----------------------------------------------------------------------
3dc0f5728ea9fdff357356c56846636545113f91 Bug 9767: Fix for updatedatabase.pl (mixed version numbers)
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository