]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
projects / thirdparty / gnutls.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9b87539 7050e43)
Merge branch 'wip-session-record-port-close' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Tue, 19 Jul 2022 10:23:08 +0000 (10:23 +0000)
committerDaiki Ueno <ueno@gnu.org>
Tue, 19 Jul 2022 10:23:08 +0000 (10:23 +0000)
guile: Allow session record ports to have a 'close' procedure

See merge request gnutls/gnutls!1610


Trivial merge
Mirror of https://gitlab.com/gnutls/gnutls.git