Diverse Errata

  • Riktig antall tester for gmp-6.2.0 er 197, ikke 190.