diff options
author | Jack Lloyd <[email protected]> | 2019-07-14 19:30:47 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2019-07-14 19:30:47 -0400 |
commit | 67ce92b89318c25b35dc92f917166e5f3a22bf76 (patch) | |
tree | 8da5832e8dc9e9c420153c54461313ff7b409926 /src/build-data/version.txt | |
parent | e01ef99340af26feccb0ba769e6ac12bf4b8d3cf (diff) | |
parent | 0557ef2299e1528037c53ff70c8e7fcfec816438 (diff) |
Merge GH #2029 Support a DTLS client reconnecting from same source port
Diffstat (limited to 'src/build-data/version.txt')
-rw-r--r-- | src/build-data/version.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/build-data/version.txt b/src/build-data/version.txt index 9170528e3..7998b8b47 100644 --- a/src/build-data/version.txt +++ b/src/build-data/version.txt @@ -2,7 +2,7 @@ release_major = 2 release_minor = 12 release_patch = 0 -release_so_abi_rev = 11 +release_so_abi_rev = 12 # These are set by the distribution script release_vc_rev = None |