From: Niels Möller <nisse@lysator.liu.se>
Date: Sun, 26 Jan 2020 13:37:45 +0000 (+0100)
Subject: Merge branch 'master' into delete-ecc-g
X-Git-Tag: nettle_3.6rc1~31^2~2
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a2757e4308bd4b28c6bdf4a7da8b89e8463debd8;p=thirdparty%2Fnettle.git

Merge branch 'master' into delete-ecc-g

For gitlab CI fix.
---

a2757e4308bd4b28c6bdf4a7da8b89e8463debd8