Subject: Re: [bug#40383] [PATCH 0/5] Make some inputs native.
From: Mathieu Othacehe <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Thu, 02 Apr 2020 18:20:07 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

I pushed the graphviz patch on the staging branch and the other ones on
master.

Thanks,

Mathieu