[koha-commits] main Koha release repository branch new/bug_5232 deleted. v3.02.00-233-g31439fc

[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_5232 has been deleted
       was  31439fc51adc7e32a2eff6608bf91e08fcbf0ade

-----------------------------------------------------------------------
31439fc51adc7e32a2eff6608bf91e08fcbf0ade Fixes bug 5232: Shelfname won't display on high-numbered lists
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository