Prepare a new release

It's needed because there is a new root certificate for hg.mozilla.org
2023-09-26 22:11:58 +02:00 · 2023-09-26 22:11:58 +02:00 · 832f544098
commit 832f544098
parent 63b9a3bf6f
2 changed files with 3 additions and 1 deletions
--- a/2
+++ b/2
@ -1,3 +1,5 @@
+1.13     - Update the certificate of the CA root of hg.mozilla.org. It seems
+           it has changed on September 19th, 2023.
 1.12     - Remove extraneos output at end of downloaded certdata.txt file
         - Work around bug in p11-kit trust extract that allows certificates
           with nss-{email,server}-distust after attribute to enter downstream
--- a/2
+++ b/2
@ -11,7 +11,7 @@

 shopt -s extglob;

-VERSION="1.12"
+VERSION="1.13"
 MAKE_CA_CONF="/etc/make-ca.conf"

 # CA root for hg.mozilla.org