Hello, > I do not think that bug has been resolved yet. > > Gonzalo points on that bug that he *believes* its fixed, but we need to > confirm this. My mistake, this is now fixed on the branch.