diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2022-02-23 11:11:52 -0800 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2022-02-23 11:41:02 -0800 |
| commit | 308e63ccfcc6a6b1285bb17eff641f48639fb329 (patch) | |
| tree | e3f1daf0bdfb7180fc1f007280fa2a4ee43c259c /lib/mini-gmp.c | |
| parent | 995aed477dc9be708920cc46442673126ed75760 (diff) | |
| download | emacs-308e63ccfcc6a6b1285bb17eff641f48639fb329.tar.gz | |
Update from Gnulib by running admin/merge-gnulib
Diffstat (limited to 'lib/mini-gmp.c')
| -rw-r--r-- | lib/mini-gmp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/mini-gmp.c b/lib/mini-gmp.c index 8577b59ef6d..e7a320a6420 100644 --- a/lib/mini-gmp.c +++ b/lib/mini-gmp.c @@ -10,7 +10,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 |