[gnutls-devel] GnuTLS | Assorted minor improvements to the build infrastructure (!1915)

[Read-only notification of GnuTLS library development activities]

Merge request !1915 was merged
Merge request URL: https://gitlab.com/gnutls/gnutls/-/merge_requests/1915
Project:Branches: dueno/gnutls:wip/dueno/minor-fixes to gnutls/gnutls:master
Author: Daiki Ueno

-- 
Reply to this email directly or view it on GitLab: https://gitlab.com/gnutls/gnutls/-/merge_requests/1915
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/20250109/c427f26e/attachment.html>