git pushnow includes
2.6.0, now fixed.
git pushand getting rejected because the remote has new commits now proactively prompts to download latest.
--forcewere broken, now fixed.
dp extmechanism has been fixed, after it was broken by a performance optimization introduced in DiffPlug
dp simulinkdiffreportto allow automated report generation.
.gitignored(an inconsistent situation which sometimes occurs), then they would be reported as "removed" in the DiffPlug git client. This is now fixed.