# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1593943477 -7200
# Node ID a32409899ad6c2bf69895b23cda8b7bebc1a8af3
# Parent  09b60b423e6f37fc1c613507d82df31bdad153b5# Parent  5c7572b2e04544cfdcd193d81be41bafd6e192a9
maint: merge stable to default.