[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 16:57:49 CET 2020

Tim Rühsen created a merge request: https://gitlab.com/gnutls/gnutls/-/merge_requests/1191

Branches: tmp-lgtm to master
Author:    Tim Rühsen

Fixing the configure flags for LGTM analysis

## Checklist
 * [x] Commits have `Signed-off-by:` with name/author being identical to the commit author
 * [x] CI timeout is 2h or higher (see Settings/CICD/General pipelines/Timeout)

## Reviewer's checklist:
 * [ ] No obvious mistakes in the code

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/db8c25f3/attachment.html>

More information about the Gnutls-devel mailing list