Wed, 07 Aug 2019 16:52:38 +0200 tip
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