Merge branch 'prometheus-update' into 'develop'
authorHaelwenn <contact+git.pleroma.social@hacktivis.me>
Fri, 10 Jul 2020 08:27:41 +0000 (08:27 +0000)
committerHaelwenn <contact+git.pleroma.social@hacktivis.me>
Fri, 10 Jul 2020 08:27:41 +0000 (08:27 +0000)
prometheus update for OTP 23

See merge request pleroma/pleroma!2746


Trivial merge