[koha-commits] main Koha release repository branch new/bug_7951 deleted. v3.08.00-219-g07f5b5e

[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_7951 has been deleted
       was  07f5b5e3ee4bdb7170379c1bd3c1f276cf4025af

-----------------------------------------------------------------------
07f5b5e3ee4bdb7170379c1bd3c1f276cf4025af Bug 7951 follow-up DBRev
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository