Version-3.0.15

Ingemar Ceicer

@posktomten

e5ded954 · Lubuntu 22.04 · Jul 01, 2025

Bug fix: selected download server was not saved.
Minor interface improvements.