| tag | 29c09a70e142d43e00f6773f481c9caaba568cb5 | |
|---|---|---|
| tagger | Paul Wankadia <junyer@google.com> | Tue Mar 03 00:00:00 2020 +1100 |
| object | d067ca501c5c2d50fd672d399a2f76019e24a671 |
release 2020-03-03
| commit | d067ca501c5c2d50fd672d399a2f76019e24a671 | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <junyer@google.com> | Mon Mar 02 20:46:39 2020 -0800 |
| committer | Paul Wankadia <junyer@google.com> | Tue Mar 03 04:49:18 2020 +0000 |
| tree | 8d3de850a95c3ceb4980c156fa3b63f976b5abd2 | |
| parent | f734980e70ee217cc45d3e5535b47cd2422c8f4b [diff] |
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>