# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1671487902 -3600
# Node ID 176fd3ea505c490a8aa0ae1a9e92e98e6bcd7947
# Parent  02f8b10d73e85cb0e9596d391b4fa86c96d7cf60
util.openmetrics: Update tools.ietf.org URL to datatracker

See bd9e006a7a74 for more context

diff -r 02f8b10d73e8 -r 176fd3ea505c util/openmetrics.lua
--- a/util/openmetrics.lua	Thu Dec 22 00:13:37 2022 +0100
+++ b/util/openmetrics.lua	Mon Dec 19 23:11:42 2022 +0100
@@ -1,7 +1,7 @@
 --[[
 This module implements a subset of the OpenMetrics Internet Draft version 00.
 
-URL: https://tools.ietf.org/html/draft-richih-opsawg-openmetrics-00
+URL: https://datatracker.ietf.org/doc/html/draft-richih-opsawg-openmetrics-00
 
 The following metric types are supported: