# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1591522025 -7200
# Node ID 7987bad470338b8480c6d58d0b1879f2d8e04b87
# Parent  e2e615821ef58b516626fce5f4cb4bf378052df2# Parent  19f4126d26cbc84477efef4838e2f8ce7659c933
maint: merge stable to default.

diff -r e2e615821ef5 -r 7987bad47033 scripts/gui/uisetfont.m