On 16 May 2017 at 17:08, Akira Hatanaka <ahatanak at gmail.com> wrote: > Thankfully the bot didn't complain this time. The patch was committed in > r303175. Thanks Akira! --renato