[koha-commits] main Koha release repository branch new/bug_7873 deleted. v3.08.00-1016-ga7714ed

[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_7873 has been deleted
       was  a7714ed6c55ee09f73fa8e0b5ba085888c9f4ad5

-----------------------------------------------------------------------
a7714ed6c55ee09f73fa8e0b5ba085888c9f4ad5 Bug 7873 follow-up s/tab/4spaces/
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository