diff options
Diffstat (limited to 'tools/get_patches.sh')
| -rwxr-xr-x | tools/get_patches.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/get_patches.sh b/tools/get_patches.sh index cf3912ee7..b91317aca 100755 --- a/tools/get_patches.sh +++ b/tools/get_patches.sh @@ -3,7 +3,7 @@ cat <<EOF /* mpfr_get_patches -- Patches that have been applied -Copyright 2007-2019 Free Software Foundation, Inc. +Copyright 2007-2020 Free Software Foundation, Inc. Contributed by the AriC and Caramba projects, INRIA. This file is part of the GNU MPFR Library. |