| autoconf-archive-maintainers | |
[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Merged branch with history
|
From: |
Peter Simons |
|
Subject: |
Re: Merged branch with history |
|
Date: |
Mon, 03 Aug 2009 11:05:12 +0200 |
Hi Dustin,
> [The] fancy merge is already done, and doesn't really have a
> significant downside. I can just go ahead and commit it ...
okay, please push your changes.
Thank you very much for your efforts,
Peter
Re: Merged branch with history, Francesco Salvestrini, 2009/08/02
Re: Merged branch with history, Francesco Salvestrini, 2009/08/02