Subject: Re: [bug#43313] [PATCH] gnu: lv2lint: Update to 0.8.0.
From: Ricardo Wurmus <[email-masked]>
To: Alexandros Theodotou <[email-masked]>
Cc: [email-masked]
Date: Thu, 10 Sep 2020 20:22:37 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Alexandros,

> This patch updates lv2lint.

Thank you!  Pushed to the “master” branch with commit b02e52f653.

-- 
Ricardo