Re: [patch] Add an if-exists-then-else spec function

[Olivier Hainque]

> On 22 Oct 2020, at 22:52, Joseph Myers <jos...@codesourcery.com> wrote:
> 
> This is OK.

Great, thanks Joseph!