|
From: | Ivan Petkov |
Subject: | bug#36514: [PATCH] gnu: rust: Update to 1.36.0. |
Date: | Thu, 11 Jul 2019 20:30:50 -0700 |
> On Jul 11, 2019, at 2:14 PM, Ludovic Courtès <address@hidden> wrote: > > It looks like a safe addition, I think you can go ahead! Thanks, Ludo, pushed in f67f93b6d60c898c3125068b468c2a339678916a. —Ivan
[Prev in Thread] | Current Thread | [Next in Thread] |