[gnutls-devel] GnuTLS | devel: add script to fix header inclusion (!1780)

Read-only notification of GnuTLS library development activities gnutls-devel at lists.gnutls.org
Wed Oct 11 00:35:03 CEST 2023

Merge request !1780 was merged
Merge request URL: https://gitlab.com/gnutls/gnutls/-/merge_requests/1780
Project:Branches: dueno/gnutls:wip/dueno/check-headers to gnutls/gnutls:master
Author: Daiki Ueno
Reviewer: Sahana Prasad

Reply to this email directly or view it on GitLab: https://gitlab.com/gnutls/gnutls/-/merge_requests/1780
You're receiving this email because of your account on gitlab.com.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.gnupg.org/pipermail/gnutls-devel/attachments/20231010/dc09b80e/attachment.html>

More information about the Gnutls-devel mailing list