On Monday 23 December 2013 07:46 PM, Bernhard Reutner-Fischer wrote: > I am looking into that issue. Happy New Year to all. Bernhard if you are busy, can you please revert the offending patch for now so that Trunk/tip works again. -Vineet