mirror of
https://github.com/prometheus/prometheus.git
synced 2026-05-16 01:56:41 +02:00
Yes, the label names and values really need double HTML escaping in order to end up correctly in the tooltip after two levels of unescaping. Fixes https://github.com/prometheus/prometheus/issues/1563