[koha-commits] main Koha release repository branch new/bug_8585 deleted. v3.08.00-957-g9ca1783

[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_8585 has been deleted
       was  9ca17830d8dff52c9bbc42ea447d330e2c7973e8

-----------------------------------------------------------------------
9ca17830d8dff52c9bbc42ea447d330e2c7973e8 Follow up to Bug 8585: add missing word to preference
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository