]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'tmp-check-if-signed' into 'master'
authorTim Rühsen <tim.ruehsen@gmx.de>
Sun, 20 Jan 2019 13:34:14 +0000 (13:34 +0000)
committerTim Rühsen <tim.ruehsen@gmx.de>
Sun, 20 Jan 2019 13:34:14 +0000 (13:34 +0000)
Check for Signed-off-by: in CI

Closes #668

See merge request gnutls/gnutls!874


Trivial merge