Subject: Re: [bug#31352] While I'm here, lint suggests updating to 2.12

From: [email-masked] (Ludovic Courtès)
Date: Mon, 07 May 2018 18:40:12 +0200

Done a while back in commit 3b1b5042298dfb8cc24d9f73c0fae3c9bdb09a7b
(not merged in master yet), but thanks anyway!

Ludo’.