Re: bug in gnu time 1.7

Jim Meyering <[email protected]> Wed, 21 Jan 2015 15:10:36 -0800
Newsgroups gmane.comp.gnu.utils.bugs
Message-ID <CA+8g5KFgWhhGqVt8cn4rDM8DtmD4haPVF9XVUNF=S0OGU=6OEw@mail.gmail.com>
On Wed, Jan 21, 2015 at 1:30 PM, David C Niemi <[email protected]> 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.