Merge branch 'wip-certificate-status' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 4 Sep 2019 11:23:25 +0000 (11:23 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 4 Sep 2019 11:23:25 +0000 (11:23 +0000)
guile: Update the list of certificate status values.

See merge request gnutls/gnutls!1060


Trivial merge