HomePhabricator

Remove User Preferences
016df82faa3bUnpublished

Authored by Hwboehm on Feb 15 2019, 1:33 PM.

Unpublished Commit · Learn More

Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Remove User Preferences

ERM #10122
Needs Cherrypicking to REL1_31
Edit: forgot extension.json
Change-Id: I9a0dd18610375c85a56ea4da706e07bb0e9a87bc

Details