Alan Pevec wrote: >> So what's our take on that? There seems to be no definite conclusion. > > My vote is to merge this after 2014.1.3 release. +1, a bit too late (release is today!), and not a showstopper. -- Thierry Carrez (ttx)