diff options
Diffstat (limited to 'admin/merge-gnulib')
| -rwxr-xr-x | admin/merge-gnulib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/merge-gnulib b/admin/merge-gnulib index e7b304a264d..60104e86c69 100755 --- a/admin/merge-gnulib +++ b/admin/merge-gnulib @@ -19,7 +19,7 @@ # GNU General Public License for more details. # You should have received a copy of the GNU General Public License -# along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. +# along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>. # written by Paul Eggert |