On 1/13/22 13:55, Richard Sandiford wrote:
Like you say in the linked message, we could add an explicit noun too.
But the change seems OK as-is to me.

May I consider it as an approval of the suggested patch?

Thanks,
Martin

Reply via email to