FX Sun, 23 Nov 2014 13:11:02 -0800
> I will build and regtest it after Manuel's commit. > OK, when it succeeds?
OK indeed.