On Mon, Sep 30, 2019 at 01:57:49PM +0100, Richard Sandiford wrote:
> pp_separate_with inserts a space after the separator, so there's
> no need to add whitespace before "..." as well.
>
> Tested on aarch64-linux-gnu and x86_64-linux-gnu. Bordering on obvious,
> but I wasn't 100% sure if this woul
pp_separate_with inserts a space after the separator, so there's
no need to add whitespace before "..." as well.
Tested on aarch64-linux-gnu and x86_64-linux-gnu. Bordering on obvious,
but I wasn't 100% sure if this would be the preferred fix or not, so...
OK to install?
Richard
2019-09-30 Ri
