Change of geary.ini not detected
I want to change the location of my Archive folder. According to #322, I changed archive_folder=Archives
to archive_folder=Archiv;2020;
in order to use Archiv/2020
as my Archive folder. Then, I restarted Geary (also tried logging out and back in), but emails are still archived to Archives.
Is this a bug, or am I doing something wrong?