tree d4cf69b6003c66795afed7b5c4e9fad9ab3c8049
parent 6ecc55aa70951483485e90fc0aa2cd8c04d15e22
author Michael Schaffner <msf@google.com> 1592865812 -0700
committer Michael Schaffner <msf@google.com> 1593016501 -0700

[syn] Print detailed messages to .md if publication is disabled

Signed-off-by: Michael Schaffner <msf@google.com>