tree dd19e38d43fe9f0922df1228531f14a21ebadaf1
parent e55e8e8fa9cb02b15a93be5a9dce8d736a3ec094
author Paul Wankadia <junyer@google.com> 1583117048 -0800
committer Paul Wankadia <junyer@google.com> 1583117150 +0000

Bump SONAME to reflect the ABI break.

Fixes #243.

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