Re: bug in gnu time 1.7

I'm trying to set GNU Time up in Git. Will let you know if I succeed.

I made a release a couple of years ago but failed to get it onto GNU's 
server.

David

On 01/20/2015 12:36 PM, Jim Meyering wrote:
> On Wed, Nov 27, 2013 at 1:33 PM, Mark Visser <[email protected]> wrote:
>> Thanks, and sorry for the noise.
>>
>> On Wed, Nov 27, 2013 at 4:22 PM, Bob Proulx <[email protected]> wrote:
>>
>>> Mark Visser wrote:
>>>> max rss is reported to be 4 times larger than it actually is:
>>>>
>>> http://stackoverflow.com/questions/10035232/maximum-resident-set-size-does-not-make-sense
>>>> original bug report:
>>>> https://groups.google.com/forum/#!topic/gnu.utils.help/u1MOsHL4bhg
>>> Yes.  That is an old well known problem.  The problem is that the
>>> official GNU time maintainer isn't MIA.  He will respond to email.
>>>
>>>    http://lists.gnu.org/archive/html/bug-gnu-utils/2013-02/msg00020.html
>>>
>>> But he has never made a release.
>>>
>>>    http://ftp.gnu.org/gnu/time/
>>>
>>> Hope springs eternal though.
>>>
>>>> patch:
>>> I maintain patches for time-1.7 for Debian.  These patches are
>>> available for viewing here:
>>>
>>>    http://patch-tracker.debian.org/package/time/1.7-24
>>>
>>> Of which the two you are most interested in are these:
>>>
>>> http://patch-tracker.debian.org/patch/series/view/time/1.7-24/rusage-portability.patch
>>>
>>> http://patch-tracker.debian.org/patch/series/view/time/1.7-24/ru_maxrss.patch
>>>
>>> However the others are also important and useful.
> Hi David,
>
> Can you give us an idea when to expect the next upstream release of GNU Time?