Marek Polacek Fri, 30 Aug 2013 09:17:23 -0700
I've just merged ubsan into trunk. Please send complaints my way. Thanks,
Marek