mlin7442 pushed to 161_branch_20260430 at mlin7442/lyx

mlin7442
Wed, 29 Apr 2026 20:31:34 +0200

5b88eb62468e3b0337348236cf506406952833782eaff698a5df49751a42927e Merge branch 'factory' into 'leap-16.1'