History of metrics / discard @93fed9e2-784b-413e-a591-aaae2048677d/main

• Added Gauge.Add Daniel Middlecote (commit: Daniel Middlecote) 5 years ago
• metrics: cleanup Peter Bourgon 5 years ago
• mv metrics3 metrics Peter Bourgon 5 years ago
• Add a discard backend for metrics that does nothing Ben Marini 5 years ago