mirror of
https://github.com/neondatabase/neon.git
synced 2026-09-04 20:48:36 +00:00
93b41cbb58
We removed the user of this in #4994 . But the metrics field was `pub`, so, didn't cause an unused-warning in #4994. This is preliminary for: #5339