[INFO] push + merge

2010-08-12 Thread Stefano Lattarini
Merged maint to branch-1.11 and master (JFTR, there were a couple of minor spurious conflicts in this last merge, easily solved). Here is a synthesis of the commits applied to maint (generated by `git format-patch --cover-letter ...'): Stefano Lattarini (17): Minor improvements to tests ar*.tes

Re: [INFO] push + merge delayed

2010-08-08 Thread Ralf Wildenhues
* Stefano Lattarini wrote on Sun, Aug 08, 2010 at 07:17:49PM CEST: > I just want state explicitly that I'll wait until tomorrow > (or even the day after) to merge and push the patches we have > reviewed this afternoon, since the time for today is almost out, > and I don't want to do a push without

[INFO] push + merge delayed

2010-08-08 Thread Stefano Lattarini
Hello Ralf. I just want state explicitly that I'll wait until tomorrow (or even the day after) to merge and push the patches we have reviewed this afternoon, since the time for today is almost out, and I don't want to do a push without proper testing. Regards, Stefano

push + merge

2010-08-06 Thread Stefano Lattarini
Pushed the following change as abvious to maint, and merged maint into branch-1.11 and into master. Regards, Stefano -*-*- From 926b43d4a4314a4b9eeb4241a36e35afc4fe581b Mon Sep 17 00:00:00 2001 From: Stefano Lattarini Date: Fri, 6 Aug 2010 21:36:33 +0200 Subject: [PATCH] Typofix in ChangeLog