I wanted to integrate the open patches today and wanted to discuss
whether I should commit Ethan's change or not.

Any reason why I shouldn't commit it. I think it is good interim
solution but not the final one.

This could also help with our integration with akibot.

D.

Reply via email to