Scusa per questo, @zogstrip sta lavorando a una correzione, non dovrebbe richiedere molto.
@RalfJung, aspettiamo qui: una volta implementata la correzione, se non risolve il tuo problema, possiamo procedere con ulteriori debug.
2 Mi Piace