Diff

CHANGES @ 13120:be4058bb5a7e

util.startup: Record current version in a metric Useful to have this info available when juggling metrics, e.g. to see if things changed between versions.
author Kim Alvefur <zash@zash.se>
date Wed, 31 May 2023 01:14:59 +0200 (22 months ago)
parent 12978:088d278c75b5
child 13126:d043834f15d2
line wrap: on
line diff