GNOME Bugzilla – Bug 652849
Not confuse triple jump with triple jump
Last modified: 2020-12-25 12:44:44 UTC
Name it "vertical triple jump", we are not measuring horizontal