Version 3.12.2
--------------

Bug fixes:

 #729494, Disable dark theme plugin does not disable the dark theme (F. Riemann)
 #729498, Plugin manager not resizing in the preferences window (Felix Riemann)

New and updated translations:

- Carles Ferrando, Pau Iranzo [ca@valencia]

New and updated manual translations

- Tom Tryfonidis [el]