tree 73c39839153860915b4cd298950eb39ae51c1677
parent b869e88ba7c7586f66522fca5ab174e610ae4b48
parent 6ab0e605f2d949af5f051ea98dd7b917f4ece34c
author Daiki Ueno <ueno@gnu.org> 1614277146 +0000
committer Daiki Ueno <ueno@gnu.org> 1614277146 +0000

Merge branch 'wip/dueno/ci-fixes' into 'master'

Merge !71 along with CI fixes

See merge request gnutls/libtasn1!74