Merge branch 'check_if_signed' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Tue, 2 Apr 2019 09:36:29 +0000 (09:36 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Tue, 2 Apr 2019 09:36:29 +0000 (09:36 +0000)
Fix check_if_signed

See merge request gnutls/gnutls!964


Trivial merge