Subject: Re: [bug#35911] gnu: rust: Update to 1.35.0.
From: Ivan Petkov <[email-masked]>
To: Ludovic Courtès <[email-masked]>
Cc: Danny Milosavljevic <[email-masked]>, Marius Bakke <[email-masked]>, [email-masked]
Date: Mon, 17 Jun 2019 19:53:15 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Ludo,

> On Jun 13, 2019, at 1:34 AM, Ludovic Courtès <[email-masked]> wrote:
> 
> I believe you can use your new commit super powers and push this patch.
> :-)

Thanks for the reminder :)
I’ve pushed this out as 0ab5e91e1ced624c51cecc2693deb7c789fe1f07.

—Ivan