Next time just comment on the merge proposal, rather than filing a bug on a feature that hasn't landed yet.
Next time just comment on the merge proposal, rather than filing a bug on a feature that hasn't landed yet.