| autoconf-archive-maintainers | |
[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Merged branch with history
|
From: |
Filippo Giunchedi |
|
Subject: |
Re: Merged branch with history |
|
Date: |
Wed, 5 Aug 2009 23:09:21 +0100 |
|
User-agent: |
Mutt/1.5.20 (2009-06-14) |
On Mon, Aug 03, 2009 at 01:09:49PM -0400, Dustin J. Mitchell wrote:
> On Mon, Aug 3, 2009 at 5:05 AM, Peter Simons<address@hidden> wrote:
> > okay, please push your changes.
>
> Done.
thanks!
filippo
--
Filippo Giunchedi - http://esaurito.net - 0x6B79D401
UNIX was not designed to stop its users from doing stupid things, as that
would also stop them from doing clever things.
-- Doug Gwyn
- Merged branch with history (Was: Small repository problems) (urgent), Dustin J. Mitchell, 2009/08/01
- Re: Merged branch with history, Peter Simons, 2009/08/02
- Re: Merged branch with history, Dustin J. Mitchell, 2009/08/02
- Re: Merged branch with history, Peter Simons, 2009/08/03
- Re: Merged branch with history, Dustin J. Mitchell, 2009/08/03
- Re: Merged branch with history, Peter Simons, 2009/08/03
- Re: Merged branch with history, Dustin J. Mitchell, 2009/08/03
- Re: Merged branch with history, Peter Simons, 2009/08/04
- Re: Merged branch with history, Francesco Salvestrini, 2009/08/03
- Re: Merged branch with history,
Filippo Giunchedi <=
Re: Merged branch with history, Francesco Salvestrini, 2009/08/02
Re: Merged branch with history, Francesco Salvestrini, 2009/08/02