hotline #55934 fix fatal error in /admin/profil/index when logged as library admin
Merged
requested to merge hotline#55934_acces_aux_profils_impossible_pour_les_administrateurs_bibliotheque into stable
enabled an automatic merge when the build for 8b397f9f succeeds
merged
mentioned in commit 31ec6489