diff options
Diffstat (limited to 'manual/check-safety.sh')
| -rw-r--r-- | manual/check-safety.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/check-safety.sh b/manual/check-safety.sh index d9c97cbced..962b851925 100644 --- a/manual/check-safety.sh +++ b/manual/check-safety.sh @@ -15,7 +15,7 @@ # You should have received a copy of the GNU Lesser General Public # License along with the GNU C Library; if not, see -# <http://www.gnu.org/licenses/>. +# <https://www.gnu.org/licenses/>. # Check that the @safety notes are self-consistent, i.e., that they're |