thomas girod 4036bfd703 Merge pull request #775 from ae-utbm/user-pictures-ajax ... Render user picture page with ajax to improve performances		2024-08-18 12:40:07 +02:00
..
core	Merge pull request #775 from ae-utbm/user-pictures-ajax	2024-08-18 12:40:07 +02:00
search/indexes	search: reduce user index size	2021-09-28 01:44:15 +02:00