Davide f66193cf78 Several fixes in ProfileManager (#685) ... - [x] Search not accounted for when reloading profiles - [x] Remote profile being saved twice - [x] Add some logging		2024-10-04 20:58:11 +02:00
..
Package.resolved	Several fixes in ProfileManager (#685)	2024-10-04 20:58:11 +02:00