tree 8d91e468cbfe78df4d6b22f56e8639a1de64062c
parent 2f97859562d22be18309611fa077839104a63081
author Paul Wankadia <junyer@google.com> 1564130636 -0700
committer Paul Wankadia <junyer@google.com> 1564130722 +0000

Get rid of StringAppendF().

Change-Id: Iab050177c341ad0642d9af802e86a40736cca2ec
Reviewed-on: https://code-review.googlesource.com/c/re2/+/43072
Reviewed-by: Paul Wankadia <junyer@google.com>