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