commit | ac65d4531798ffc9bf807d1f7c09efb0eec70480 | [log] [tgz] |
---|---|---|
author | Paul Wankadia <junyer@google.com> | Thu Apr 09 13:34:54 2020 -0700 |
committer | Paul Wankadia <junyer@google.com> | Thu Apr 09 20:36:47 2020 +0000 |
tree | 5267c9022e02d4aeffe0f09d462f1902d679f72c | |
parent | b4073a9d29cdf7be063b8daaa9c8dca5fde2400d [diff] |
Remove deprecated APIs. Bump SONAME accordingly. Change-Id: I4dfdb9bf9dfa68d029f6f8908acf61e39cc5373d Reviewed-on: https://code-review.googlesource.com/c/re2/+/54570 Reviewed-by: Paul Wankadia <junyer@google.com>