On 04/08/2014 12:14 AM, martin rudalics wrote:
>> I'll install my change in trunk.
> 
> Please wait at least a couple of weeks.  Otherwise, Stefan's change will
> hardly receive any testing and we are going to release a version with a
> largely untested fix.
> 

Good point. Sure.