Restore Coral changes from 1.12

* Maintainer
* Disable building of docs

Change-Id: I1ffeeafc32225fce971de4644886306990ceebfe
2 files changed
tree: ce8c80a4975a5d505fb061daef762906881b1452
  1. debian/