26-10-19, 14:38
(26-10-19, 14:09)pascal a écrit : Si, il faut le signaler sur GitHub si on veut avoir la chance de le voir corrigé.
Je pense il faut aller sur le site de dt en anglais, là sous Development il y a un liens vers le "bug tracker" de dt sur GitHub. Mais il faut s'inscrire. Est-ce le bon endroit pour signaler un bug?
Vu que c'est JMM40 qui a vraiment trouvé le bug, je lui laisse l'honneur. Et je serais incapable de contribuer autre chose que décrire un bug. Je ne suis pas programmeur.