tree 1811e7e882b61eada8528c079f8582d8620d5607
parent 0ff451fce0e5de64f4c666554cac113aa71def2d
parent e1842a01114e3cdeda25465559d03394722d1792
author Patrick Hiesel <hiesel@google.com> 1536852094 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1536852094 +0000

Merge changes I180de2b6,I04470446,I8184cc4e

* changes:
  Add labels to the settings web interface
  Properly indent attributes
  Fix the way the rest API is called