On Sun, 16 Feb 2014 21:45:06 +0100, Maciej W. Rozycki wrote: > > ping: I expect you are fine with this "incomplete" fix so I will check it in. > > Yes, I am. Checked in: 0b10be4faf97396c88746f932b55bc3d2fb2d907 Jan