[koha-commits] main Koha release repository branch new/bug_5253 deleted. v3.02.00-906-g412966e

[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_5253 has been deleted
       was  412966eff0016c69e5763197f1542e88c74580a1

-----------------------------------------------------------------------
412966eff0016c69e5763197f1542e88c74580a1 Bug 5253: Add options to runreport.pl
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository