Subject: Re: [bug#33866] [PATCH] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti.
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Thu, 27 Dec 2018 09:20:43 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed as 4a2e1e72806fd62e54201a4aacde213d419d04bd and
ad536c98f9125f47dd948be7dd42d5c34e84bdfd, thank you!