tree 6e3497f8b50e9d5a90ef746bb405f07a67e80514
parent 71ba448671f1051b913c448dd1a6ef21a6b73154
author Tony Wickham <twickham@google.com> 1523382632 -0700
committer Tony Wickham <twickham@google.com> 1523383127 -0700

Make a copy of DeviceProfile before updating its insets

Change-Id: Ic0fb6dd103ac7af810373c8454cb0bad84e7fddd