[koha-commits] main Koha release repository branch new/bug_8923 deleted. v3.08.00-1077-gb9f4082

[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_8923 has been deleted
       was  b9f4082f1b38fce056f34a9162b660ef2de7d6b7

-----------------------------------------------------------------------
b9f4082f1b38fce056f34a9162b660ef2de7d6b7 Bug 8923 [Revised] Add ids to repeated pagination menus to allow for CSS customization
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository