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

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