Catch schema change event in order to have actual representation of user preferences#6510

Merged

vzhukovs merged 1 commit intomasterfrom user_preferences

Nov 12, 2019

+15-12

Commits on Nov 11, 2019

Catch schema change event in order to have actual representation of user preferences
vzhukovs
committed