[gnutls-devel] GnuTLS | .lgtm.yml: Fix --disable-documentation to --disable-doc [skip ci] (!1191)

Development of GNU's TLS library gnutls-devel at lists.gnutls.org
Fri Feb 7 18:02:45 CET 2020



Merge Request !1191 was approved by Daiki Ueno
Merge Request url: https://gitlab.com/gnutls/gnutls/-/merge_requests/1191
Branches: tmp-lgtm to master
Author: Tim Rühsen
Assignees: 

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


More information about the Gnutls-devel mailing list