[koha-commits] main Koha release repository branch new/bug_5957 deleted. v3.02.00-939-g07f16fc

[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_5957 has been deleted
       was  07f16fc52e7192588f04cfa115c997506ab480bf

-----------------------------------------------------------------------
07f16fc52e7192588f04cfa115c997506ab480bf Bug 5957 follow-up: use comparison operator in if
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository