tree 8d3de850a95c3ceb4980c156fa3b63f976b5abd2
parent f734980e70ee217cc45d3e5535b47cd2422c8f4b
author Paul Wankadia <junyer@google.com> 1583210799 -0800
committer Paul Wankadia <junyer@google.com> 1583210958 +0000

Set SONAME to 6.

Suggested by Stefano Rivera and endorsed by Evangelos Foutras in
dicussion on the GitHub issue, 6 is considered to be larger than
what any distribution is currently using.

Fixes #243.

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