mirror of
https://github.com/prometheus/prometheus.git
synced 2025-08-22 07:01:02 +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