On Tue, 15 Dec 2020 at 21:53, Richard Henderson <richard.hender...@linaro.org> wrote: > Though it's slightly annoying that F.c has > renamed all of the extensions.
It's in a good cause, which is to say it avoids the previous irritating ambiguity where you had some duplication between v8.x-Foo and v8.y-Foo that meant "Foo" alone wasn't a unique identifier for the extension. thanks -- PMM
