]> Savannah Git Hosting - gnulib.git/commitdiff
autoupdate
authorKarl Berry <karl@freefriends.org>
Wed, 25 May 2022 14:53:56 +0000 (07:53 -0700)
committerKarl Berry <karl@freefriends.org>
Wed, 25 May 2022 14:53:56 +0000 (07:53 -0700)
lib/mini-gmp.h

index 508712d235bbaf7f7f9fbb20008a14dd7f12e7bf..59c24cf5111644d17770ed6ee08dccce7c0e4338 100644 (file)
@@ -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