On Tue, 2015-10-13 at 11:06 -0500, Aníbal Limón wrote: > Hi Benjamin, > > This commit is already merged Ross or RP improved the message. I did that since I wanted to get the fix merged due to the issues it was causing on the autobuilder and with the release. Nice find btw! Cheers, Richard