OSDN Git Service

Merge "Allow removing non-enabled profiles"
authorTreeHugger Robot <treehugger-gerrit@google.com>
Tue, 17 Jan 2017 15:58:21 +0000 (15:58 +0000)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Tue, 17 Jan 2017 15:58:24 +0000 (15:58 +0000)

Trivial merge