# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1641725874 -3600
# Node ID 586262153621575798bb692024f6d6fc2e72ba04
# Parent  56fdd2655765b2a1c4c5a06f2dfd9746cb7ebb0f# Parent  9c7561dda313c107bdcef2eb28a186c42cac3748
maint: Merge stable to default.

diff -r 56fdd2655765 -r 586262153621 scripts/statistics/var.m