Hi,We have developed our own custom metrics, but even six hours after we
upgraded the application, the metrics do not show up in the list for
"Manage Metrics". We can see them when we curl the endpoint.Will they
show up by themselves? When? Or do we ...