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
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