]> Savannah Git Hosting - gnulib.git/commitdiff
autoupdate
authorKarl Berry <karl@freefriends.org>
Sat, 11 Jul 2020 15:09:12 +0000 (08:09 -0700)
committerKarl Berry <karl@freefriends.org>
Sat, 11 Jul 2020 15:09:12 +0000 (08:09 -0700)
doc/gnu-oids.texi

index 761936e846cae75a75c2707a2fc553805e08a070..559042c14634b1d0076db6c8331fa8779282c230 100644 (file)
@@ -7,8 +7,8 @@
 @c notice and this notice are preserved.
 @c
 @c When adding new OIDs, please add them also to
-@c   http://www.alvestrand.no/objectid/
-@c (Our page is http://www.alvestrand.no/objectid/1.3.6.1.4.1.11591.html.)
+@c   https://www.alvestrand.no/objectid/
+@c (Our page is https://www.alvestrand.no/objectid/1.3.6.1.4.1.11591.html.)
 
 1.3.6.1.4.1.11591 GNU