AFAIK the problem that Federico reported is fixed by 4b7ad2e3, so I’m closing this bug, and opening a new one for the other issue I raised.
Thanks, Ludo’.
AFAIK the problem that Federico reported is fixed by 4b7ad2e3, so I’m closing this bug, and opening a new one for the other issue I raised.
Thanks, Ludo’.