[koha-commits] main Koha release repository branch new/bug_9751 deleted. v3.12.00-alpha2-20-g87540ae

[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_9751 has been deleted
       was  87540aefbcdda848bcca6211b3dea7fd8be94ec1

-----------------------------------------------------------------------
87540aefbcdda848bcca6211b3dea7fd8be94ec1 Bug 9751: Patron flags red in moremember.pl like in circulation.pl
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository