This message was deleted.

If you open a pull request instead of posting a patch here, our engineers will be able to review it.

Good catch, I thought that I’ve created it :))