[koha-commits] main Koha release repository branch new/bug_8017 deleted. v3.08.00-763-gef7ebc4

[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_8017 has been deleted
       was  ef7ebc4ed4004dd3287e87500a6cce266c59cba6

-----------------------------------------------------------------------
ef7ebc4ed4004dd3287e87500a6cce266c59cba6 Bug 8017 reduce manipulation of GetAllIssues return
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository