Commit 97f36568fb39cb3c9ecd1e3e17ac6f0e822a147b Parent 84ab15c9f0a4408c056b0f3de28d4f392376610d Author John MacFarlane <jgm@berkeley.edu> Date Tue, 12 May 2020 22:30:15 -0700 Diagnostic for CI.