Subject: Re: [bug#30334] [PATCH] gnu: Add dtrx.
From: Hartmut Goebel <[email-masked]>
To: Ludovic Courtès <[email-masked]>, [email-masked]
Cc: Marius Bakke <[email-masked]>
Date: Mon, 23 Apr 2018 15:39:51 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Sorry, I'm currently short in time and will not be able to finish this
some when soon. Closing.