Tue, 14 Jul 2020 15:38:10 +0200 tip
Mon, 06 Jul 2020 18:06:44 +0200 Release_2.1.0-RC3
Sun, 05 Jul 2020 11:08:42 +0200 Release_2.1.0-RC2
Sat, 04 Jul 2020 18:38:14 +0200 Release_2.1.0-RC1
Fri, 03 Jul 2020 16:18:13 +0200 Release_2.1.0-RC0
Mon, 15 Apr 2019 11:20:30 +0200 old_pre-sync_default
Wed, 02 May 2018 13:17:24 +0200 last_Out_with_pointer_value
Wed, 21 Mar 2018 18:59:30 +0100 release_enigmail_2.0.0