From: Daiki Ueno <ueno@gnu.org>
Date: Tue, 19 Jul 2022 10:23:08 +0000 (+0000)
Subject: Merge branch 'wip-session-record-port-close' into 'master'
X-Git-Tag: 3.7.7~7
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6709f8d11445a3a375e19fedc8a9edfb5b73ae30;p=thirdparty%2Fgnutls.git

Merge branch 'wip-session-record-port-close' into 'master'

guile: Allow session record ports to have a 'close' procedure

See merge request gnutls/gnutls!1610
---

6709f8d11445a3a375e19fedc8a9edfb5b73ae30