| commit | 63d22de700a59c827a4216e0e8348914f7c65abf | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <junyer@google.com> | Mon Jun 15 20:04:50 2020 -0700 |
| committer | Paul Wankadia <junyer@google.com> | Tue Jun 16 03:05:53 2020 +0000 |
| tree | e7aa0bbb84a7ce1dade0936cc0e8368fb812be21 | |
| parent | e9d517989f66f2e0a24cde42f4d2424dd3e4a9b9 [diff] |
Herp derp. It's actually constant-time append. Change-Id: I16dfbdec88c14a12214fbe2efcea3f693bfdfc11 Reviewed-on: https://code-review.googlesource.com/c/re2/+/57390 Reviewed-by: Paul Wankadia <junyer@google.com>