[koha-commits] main Koha release repository branch new/bug_9951 deleted. v3.12.00-beta1-258-gde7ba79

[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_9951 has been deleted
       was  de7ba790fd2533bcf44ad7fd2f1255514ed9313c

-----------------------------------------------------------------------
de7ba790fd2533bcf44ad7fd2f1255514ed9313c Bug 9951: Followup for tools/viewlog.pl
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository