[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,

reply via email to

[Prev in Thread] Current Thread [Next in Thread]