[koha-commits] main Koha release repository branch new/bug_10217 deleted. v3.12.00-beta1-494-g51a1e88

[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_10217 has been deleted
       was  51a1e8854830d72e42dbfe313a5082ccd5f48688

-----------------------------------------------------------------------
51a1e8854830d72e42dbfe313a5082ccd5f48688 Bug 10217 - Make sure direct links to detail views work when there is no session
-----------------------------------------------------------------------


hooks/post-receive
-- 
main Koha release repository