hotline #77994: fix two favorites libraries
Merged
requested to merge hotline#77994_bibliotheques_favorites_si_deux_bibliotheques_sont_cochees_seule_la_premiere_est_prise_en_compte into hotline
Merge details
merged
mentioned in commit 191ddf63