Fri, 22 Apr 2016 00:08:54 -0700 Merge
amurillo [Fri, 22 Apr 2016 00:08:54 -0700] rev 37512
Merge
Mon, 18 Apr 2016 22:40:47 +0200 Merge
kbarrett [Mon, 18 Apr 2016 22:40:47 +0200] rev 37511
Merge
Mon, 18 Apr 2016 14:52:31 -0400 8133051: Concurrent refinement threads may be activated and deactivated at random
kbarrett [Mon, 18 Apr 2016 14:52:31 -0400] rev 37510
8133051: Concurrent refinement threads may be activated and deactivated at random Summary: Establish min threshold step; earlier primary refinement thread activation. Reviewed-by: tschatzl, drwhite, mgerdin, jmasa
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip