[koha-commits] main Koha release repository branch new/bug_8217 deleted. v3.08.00-240-g828cc51

[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_8217 has been deleted
       was  828cc512c9d589eba78de7d3c3ed322a2091cf89

-----------------------------------------------------------------------
828cc512c9d589eba78de7d3c3ed322a2091cf89 Bug 8217:[SIGNED-OFF] Focus on search box in staff detail page
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository