tree e7aa0bbb84a7ce1dade0936cc0e8368fb812be21
parent e9d517989f66f2e0a24cde42f4d2424dd3e4a9b9
author Paul Wankadia <junyer@google.com> 1592276690 -0700
committer Paul Wankadia <junyer@google.com> 1592276753 +0000

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>