Ok, do you want to push this change (removing the line)? If no, I'll try to do it in the following days.
Le 2025-10-09 à 10 h 05, Andreas Schwab a écrit :
On Okt 09 2025, Antoni Boucher wrote:Could you try without it and see if it works?It does.
Ok, do you want to push this change (removing the line)? If no, I'll try to do it in the following days.
Le 2025-10-09 à 10 h 05, Andreas Schwab a écrit :
On Okt 09 2025, Antoni Boucher wrote:Could you try without it and see if it works?It does.