Patch pushed as 4ad7e7e604ef9b1f936b6fa02bb13061ad73c2a5 On Mon, Aug 26, 2019 at 06:58:38PM +0000, goodoldpaul@autistici.org wrote: > Friendly ping ;) > > Thanks > > Giacomo > -- Efraim Flashner אפרים פלשנר GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted