Shouldn't this be removed? You're also ignoring ``propertiestool.xml`` diffs ...