# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1670072171 -3600
# Node ID 4c040e1edb4b94bb4062f3deb90d5f5bca0ddfc7
# Parent  ae0aa570c90733ad2b917fe7b4edbc3c077120d7# Parent  ec1f340916359a33d584cf836f5707c64a9676df
maint: Merge stable to default.

diff -r ae0aa570c907 -r 4c040e1edb4b src/main-gui.cc