Re: Temporarily disable minimal-threading by default on every platform (of course keeping no-threading)

[Jose E. Marchesi]

> On 2022-02-03 at 21:43 +0100, Jose E. Marchesi wrote:
>
>> This is not impacting targets using no-threading or some other
>> dispatching method right?
>
> It is not.  The best dispatch is selected among the enabled ones, and
> minimal-threading is no longer enabled.  So if no-threading was the best
> before this commit it will remain the best after it.

Perfect.  Thank you.