Roman Rizzi eb26bee046

DEV: group_list site settings should store IDs instead of group names (#7860) ...

* DEV: group_list site settings should store IDs instead of group names

* Ship site setting to know when we should migrate group_list settings

* Migrate existing group_list site settings

* Bump migration timestamp and don't set null when migrating is not possible.

2019-07-19 15:17:58 -03:00

..

components

DEV: group_list site settings should store IDs instead of group names (#7860)

2019-07-19 15:17:58 -03:00

controllers

UX: improvements to admin theme UI

2018-09-17 09:49:53 +10:00

models

DEV: introduces prettier for es6 files

2018-06-15 17:03:24 +02:00