Ulty
commented
1 year ago 56,309 additions, 43,723 deletions, ça me paraît beaucoup, juste pour ajouter une option. Et du coup github refuse de m'afficher le diff, donc je ne peux pas voir en quoi le PR consiste. Je soupçonne que le gros diff est dû à un changement du style indentation, mais j'aimerais autant ne pas faire ce genre de changement.
312