[koha-commits] main Koha release repository branch new/bug_8727 deleted. v3.08.00-805-g722701d

[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_8727 has been deleted
       was  722701d59644a2963cb4e7b326aa6287941cd483

-----------------------------------------------------------------------
722701d59644a2963cb4e7b326aa6287941cd483 Bug 8727 Minor stylistic change to help text
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository