Brian Gough 4efc118b9c Merge pull request #1009 from sharelatex/bg-update-metrics-to-1.8.0 ...

update to metrics v1.8.0 for metrics.globalGauge

2018-10-09 12:15:30 +01:00

..

web

Merge pull request #1009 from sharelatex/bg-update-metrics-to-1.8.0

2018-10-09 12:15:30 +01:00