If I read the description correctly we want that in main to replace the bundled solver, which isn't localized? So the FFE wouldn't be about having the solver, but about the missing l10n, right? The latter is really a bug, so doesn't require an FFE.
If I read the description correctly we want that in main to replace the bundled solver, which isn't localized? So the FFE wouldn't be about having the solver, but about the missing l10n, right? The latter is really a bug, so doesn't require an FFE.