Subject: Re: [bug#29502] [PATCH] gnu: Add mtr.
From: Tobias Geerinckx-Rice <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Fri, 1 Dec 2017 16:13:39 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Ludovic Courtès wrote on 30/11/17 at 18:13:
> Heheh, I didn’t know it.  :-)  LGTM!

Thanks! Pushed as b59a8fd49afa79bb9c3bf5e71dce6f3eec2a0808.

Kind regards,

T G-R