Youen a106bddc0e Added API to query users by location (only for users who have defined their location)		2023-08-24 19:03:55 +02:00
..
Api	Added API to query users by location (only for users who have defined their location)	2023-08-24 19:03:55 +02:00
Listeners	first version of the new UI to edit location	2022-02-17 18:56:39 +01:00