Match 1.25.* instead of 1.25*, so it will not give 1.250 as an update to 1.25 in about 50 years from now. :-) PR: 290231
