Subject: Re: [bug#34232] [PATCH] gnu: rust: Package [email-masked]
From: Danny Milosavljevic <[email-masked]>
To: Ivan Petkov <[email-masked]>
Cc: Ludovic Courtès <[email-masked]>, [email-masked]
Date: Thu, 14 Feb 2019 17:57:33 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Ivan,

On Wed, 13 Feb 2019 19:51:53 -0800
Ivan Petkov <[email-masked]> wrote:

> Did you have any feedback on this?

Yes, I've applied it to master.

Thanks!