v0.172.7-pre

• Fixed an issue in certain themes where diffs would render with the wrong red and green colors for deletions and insertions. (#24151)