[koha-commits] main Koha release repository branch new/bug_8712 deleted. v3.08.00-1501-g932dbce

[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_8712 has been deleted
       was  932dbcea27f32b4a89280c4ff94a42de4d8bb235

-----------------------------------------------------------------------
932dbcea27f32b4a89280c4ff94a42de4d8bb235 Bug 8712 - We should use WAI-ARIA guidelines to help with accessibility
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository