HomePhabricator

Move User Preferences to better Location

Authored by Peter Boehm <boehm@hallowelt.com> on Feb 15 2019, 12:48 PM.

Description

Move User Preferences to better Location

ERM #10122
[3.1]

Change-Id: I3c87fb915928eaf68e6b391882e41c7b4e294e0f