https://bugzilla.redhat.com/show_bug.cgi?id=1437999
--- Comment #48 from Alexei Podtelezhnikov apodtele@gmail.com --- Different does not mean wrong (repeat 100 times).
Gnome-terminal uses pango. Can you confirm that line spacing changes in other applications too. Can we establish the custody line for the metric in question?
If this metric comes from FreeType, it should have been scaled properly using 8.25 points as a workaround. It is possible that FreeType misses something. If this metric is cooked ad hoc inside pango or vte, then and only then you should fix the issue there.