--- Comment #1 from Jaikiran Pai <> ---
I think the change you suggest is fine. Would you like to submit a pull request
with this change to our github repo here so that
it can be reviewed and merged?

You are receiving this mail because:
You are the assignee for the bug.

Reply via email to