Mon, 14 Jan 2019 12:35:32 -0500 branch merge
nemo [Mon, 14 Jan 2019 12:35:32 -0500] rev 14591
branch merge
Mon, 14 Jan 2019 12:34:47 -0500 ai improvements are release branch safe 0.9.25
nemo [Mon, 14 Jan 2019 12:34:47 -0500] rev 14590
ai improvements are release branch safe
(0) -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip