aggiornato da github con difftool e POI fatto il commit. Dopo vedremo se mi dà errore in fase di merge
Merge remote-tracking branch 'origin/master'