Re: bug in gnu time 1.7

[David C Niemi]

On 01/21/2015 06:10 PM, Jim Meyering wrote:
> On Wed, Jan 21, 2015 at 1:30 PM, David C Niemi <address@hidden> wrote:
> > I'm trying to set GNU Time up in Git. Will let you know if I succeed.
> Glad to hear it.
>
> For a project like GNU time, savannah.gnu.org should host the primary
> repository.  Let me know if you'd like a hand.

Thanks for the help, Karl!  There was a git checkbox I needed to check...

I think I've got it.  I put in versions 1.7 and 1.7.1 (GPLv3) and they 
are tagged.

You should be able to clone it:

git clone git://git.savannah.gnu.org/time.git

DCN