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