Hi folks, This is just a heads up that since a few days ago the regen bot started to provide some bogus commits - even suggesting broken code.
Andrea C. and I are keeping an eye on it and we have already applied a fix. In the meantime, I'd kindly advise you to beware with merging those pull requests. Kind regards -- Otavio R. Piske http://orpiske.net
