> 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. Cheers, Alan