We found a Contributor License Agreement for you (the sender of this pull request) and all commit authors, but as best as we can tell these commits were authored by someone else. If that's the case, please add them to this pull request and have them confirm that they're okay with these commits being contributed to Google. If we're mistaken and you did author these commits, just reply here to confirm.

@laco0416 I have just realized that GH give me the credits for this commit, sorry about that (apparently that's a "feature" of the GH merge button. I'll be careful not to use it in the future)

@vicb Oh well, it's unfortunate a little but it’s nothing. Please never mind.

This issue has been automatically locked due to inactivity.
Please file a new issue if you are encountering a similar or related problem.

Read more about our automatic conversation locking policy.

_{This action has been performed automatically by a bot.}