# HG changeset patch # User Markus Mützel # Date 1589827925 -7200 # Node ID bb47f604dfea644fdf88a8cdcfcef12848183c01 # Parent 8245b890b6b009909c202b7d309795a853fbb34f# Parent f6f87fff82f9d6a5f276128d54eea0709739ef44 maint: merge stable to default.