Sorry about that, please revert and fix can come in later release.
- Qian
On Mon, Jun 21, 2021, 9:36 PM Waldek Hebisch
wrote:
> ATM we have one blocking problem: after change to 'fricas'
> script internal 'fricas' script and consequently 'efricas'
> no longer works. Since tere was no better
On Mon, Jun 21, 2021 at 03:36:39PM +0200, Waldek Hebisch wrote:
> ATM we have one blocking problem: after change to 'fricas'
> script internal 'fricas' script and consequently 'efricas'
> no longer works. Since tere was no better solution
> proposed in more than a month, I think we should
>
ATM we have one blocking problem: after change to 'fricas'
script internal 'fricas' script and consequently 'efricas'
no longer works. Since tere was no better solution
proposed in more than a month, I think we should
revert this change.
--
Waldek Hebisch
--
You