[koha-commits] main Koha release repository branch new/bug_8477 deleted. v3.08.00-562-g09fa6e1

[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_8477 has been deleted
       was  09fa6e12e09703001bd39f37bab5dd99da6c58ca

-----------------------------------------------------------------------
09fa6e12e09703001bd39f37bab5dd99da6c58ca bug 8477 follow-up for [HTML4] coding guideline
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository