tree fd68904b47e95b9e0f8a02f672de14f31e7a4da5
parent 0ff451fce0e5de64f4c666554cac113aa71def2d
author Patrick Hiesel <hiesel@google.com> 1535641848 +0200
committer Patrick Hiesel <hiesel@google.com> 1536907914 +0200

Persist inherited labels locally in case they are modified

Before this commit, editing an inherited label would fail as only local
labels can be modified. This commit adds logic to copy down a label in
case it should be modified.

Change-Id: Icfa329bf7d6d6e43835c0fd94a407ea713161746