[koha-commits] main Koha release repository branch new/bug_9417 deleted. v3.08.00-1733-g0131b9e

[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_9417 has been deleted
       was  0131b9e6977214f5481221be52f597339a04e3b3

-----------------------------------------------------------------------
0131b9e6977214f5481221be52f597339a04e3b3 Bug 9417 - Allow number of results per page to be selectable for guided reports
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository