[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
Sat Feb 8 17:58:56 CET 2020

Tim Rühsen commented:

LGTM pull request analysis was skipped for 3492c47527d269a9b2176ed0a16997c456d2894e by [rockdaboot](https://gitlab.com/rockdaboot). Analysis of future commits will happen as normal.


*Comment posted by [LGTM.com](https://lgtm.com)*

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

More information about the Gnutls-devel mailing list