Thu, 13 Dec 2018 12:12:13 -0500 nemo This seems to be all that was needed for bug #719 0.9.25
Thu, 13 Dec 2018 11:03:15 -0500 nemo Backed out changeset 1ffa8bfc5c58 0.9.25
Thu, 13 Dec 2018 10:51:07 -0500 nemo merge in 0.9.25 fixes
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip