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 1b5146213..d0a737a09 100755 --- a/tools/get_patches.sh +++ b/tools/get_patches.sh @@ -12,7 +12,7 @@ patches=`cat "$1"` cat <<EOF /* mpfr_get_patches -- Patches that have been applied -Copyright 2007-2020 Free Software Foundation, Inc. +Copyright 2007-2021 Free Software Foundation, Inc. Contributed by the AriC and Caramba projects, INRIA. This file is part of the GNU MPFR Library. |