[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 0/5] Miscellaneous speed up patches
|
From: |
Paolo Bonzini |
|
Subject: |
Re: [PATCH 0/5] Miscellaneous speed up patches |
|
Date: |
Fri, 12 May 2017 12:36:15 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.0 |
On 11/11/2016 18:42, Paolo Bonzini wrote:
>
>
> On 11/11/2016 17:44, Paul Smith wrote:
>> On Fri, 2016-11-11 at 12:28 +0100, Paolo Bonzini wrote:
>>> Paul, any news?
>>
>> I expect to carve out a chunk of time to work on GNU make maintenance
>> next month, and will try to put out a new release. These updates are
>> in my queue to look at.
>
> Good to know!
Looks like nothing happened, shall I send v2 now?
Thanks,
Paolo
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [PATCH 0/5] Miscellaneous speed up patches,
Paolo Bonzini <=