On 07/18/11 18:05, Bruno Haible wrote:
> it is more appropriate to merge patches together and remove reverted
> patches from the history and the ChangeLog.

Sure, I can do that next time.  It shouldn't be much work.

Reply via email to