On Sun, Feb 3, 2013 at 11:23 PM, James Youngman <[email protected]> wrote:
> Applied, thanks.

Not completely applied then, as Bernhard pointed out.   But now fully
applied and pushed as c1dc4c780280484a8d9e18d69343e4ff3f29df52.

James.

Reply via email to