]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
projects / thirdparty / gnutls.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ec3ae29 5b30e06)
Merge branch 'wip/dueno/check-headers' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Tue, 10 Oct 2023 22:35:00 +0000 (22:35 +0000)
committerDaiki Ueno <ueno@gnu.org>
Tue, 10 Oct 2023 22:35:00 +0000 (22:35 +0000)
devel: add script to fix header inclusion

Closes #459

See merge request gnutls/gnutls!1780


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