[koha-commits] main Koha release repository branch new/bug_8139 deleted. v3.08.00-239-g31bec85

[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_8139 has been deleted
       was  31bec8507f48943b251d352a399521835d91480d

-----------------------------------------------------------------------
31bec8507f48943b251d352a399521835d91480d Bug 8139 - add margin to recent comments CSS to fix stuff with menus
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository