tree 37e0a053e7e59e28734e50667f484421d7ba6ccd
parent 84cdaa377d8d52d447ee4510c6636327751beb03
author michajlo <michajlo@google.com> 1505402802 +0200
committer Philipp Wollermann <philwo@google.com> 1505407729 +0200

Avoid wasting cpu/garbage formatting preconditions string

RELNOTES: None
PiperOrigin-RevId: 168691489