[koha-commits] main Koha release repository branch new/bug_6253 deleted. v3.04.00-745-gd80cf35

[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_6253 has been deleted
       was  d80cf35e9ba39112bfdefc3ce6ba8ddae121347c

-----------------------------------------------------------------------
d80cf35e9ba39112bfdefc3ce6ba8ddae121347c Bug 6253 followup: explicitly check ref value for ARRAY before casting
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository