Subject: [bug#35790] [PATCH 4/4] lint: Separate checkers by dependence on the internet.

From: Ludovic Courtès <[email-masked]>
Date: Mon, 15 Jul 2019 22:17:21 +0200

Hi!

It seems to me we’re all set now.

Thanks a lot for all the work and for your patience!

Ludo’.