[koha-commits] main Koha release repository branch new/bug_7235 deleted. v3.06.00-775-g8086b52

[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_7235 has been deleted
       was  8086b52ce512d014d9b6e6da9b925be2da18119d

-----------------------------------------------------------------------
8086b52ce512d014d9b6e6da9b925be2da18119d Bug 7235 follow-up: removing some upper cases
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository