mirror of
https://github.com/clusterio/clusterio.git
synced 2026-11-12 07:04:52 +09:00
Convert the master metrics to void instead of storing them in a variable as they are completely self contained, and this makes it more clear that there are no use of references to the metrics.