tree 1e76a3fa2c3a0e6851c73292adbfbed09103913c
parent 56f28e69657c2708b29e764039c99f63d229606f
author Joshua Seaton <joshuaseaton@google.com> 1547501426 -0800
committer Joshua Seaton <joshuaseaton@google.com> 1547709206 -0800

[botanist] Address missed formatting.

These changes were meant to be added in
https://fuchsia-review.googlesource.com/c/tools/+/240588
but it seems they never were.

Change-Id: I39a9b0f9fa9cb1c50291bde8357bf96d732d9666