From: Karl Berry Date: Wed, 25 May 2022 14:53:56 +0000 (-0700) Subject: autoupdate X-Git-Tag: v1.0~2279 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=9ada5af3c874fddf434ae7c31935974e86624519;p=gnulib.git autoupdate --- diff --git a/lib/mini-gmp.h b/lib/mini-gmp.h index 508712d235..59c24cf511 100644 --- a/lib/mini-gmp.h +++ b/lib/mini-gmp.h @@ -8,7 +8,7 @@ The GNU MP Library is free software; you can redistribute it and/or modify it under the terms of either: * the GNU Lesser General Public License as published by the Free - Software Foundation, either version 3 of the License, or (at your + Software Foundation; either version 3 of the License, or (at your option) any later version. or