tree ce8c80a4975a5d505fb061daef762906881b1452
parent b5763c77161d8c0958e8ca0274a81679c00001e3
author Jonas Larsson <ljonas@google.com> 1567744680 -0700
committer Jonas Larsson <ljonas@google.com> 1567744680 -0700

Restore Coral changes from 1.12

* Maintainer
* Disable building of docs

Change-Id: I1ffeeafc32225fce971de4644886306990ceebfe