tree 34353db458c3df2e695bf634f43e6f7b666ac479
parent d12777f489a13a20660b34bcd61ebf3bc21060fa
parent 37838066f5acfa697e6793d66e2febaa8df43c5f
author Luca Milanesio <luca.milanesio@gmail.com> 1557004258 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1557004262 +0100

Merge branch 'stable-2.16' into stable-3.0

* stable-2.16:
  Reformati with GJF 1.7
  Sanitize license headers
  Improve plugin documentation
  Do not write into SharedRef DB when git update fails
  Add remote debug option to the local Gerrit setup
  Edit the design doc for readability.  No content changes.

Change-Id: I3a80b418be404a5c4808d734ba7ad87bc9a5bbc5