jvanier·11 anni fa·discussSure, delete it! The pull request contains all the information needed about the actual change.