tree 175799e9f0a36208a79ebafb64e17a88dbe7415e
parent 0df3ec6bcbb6c46de4abc38f8425ac1767c6e937
author Jonah Williams <jonahwilliams@google.com> 1559231830 -0700
committer GitHub <noreply@github.com> 1559231830 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJc7/1WCRBK7hj4Ov3rIwAAdHIIAAcuPUn92SKH3037hcCEoxaZ
 1P4ckxSfymg5YZULcK6TWWJBOvCYx8qV15Zqxr16NGdd8BK8bn+sM8ulNE5sFksv
 ByH1evyGKR/JZzYa3Gs0NBrJsDsVLQFlUseBlr59Xa8vYY/iob6NsA6dWI0o4NDK
 EbK5zglXjwP1PDwZLIwNfrfk8crvcJntj6hKJfqzuiSEppY377RYYv4pnjiAq0SX
 5aveAjq6dkdQ5IDtwSAif8w4dQ83oRkIiJDDHnO3Kf8gTAd5kZFn0DWH61YHi9Pg
 /QCXgiAOfJYEBPaAT90BM4QeiUk6lDpP6xXwYaFBOj+hBizSSLrKEqeconxYjUM=
 =3GlK
 -----END PGP SIGNATURE-----
 

use toFixedAsString and DoubleProperty in diagnosticProperties (#33488)