Sat, 05 Aug 2017 03:05:06 +0200 Merge
kvn [Sat, 05 Aug 2017 03:05:06 +0200] rev 46761
Merge
Fri, 04 Aug 2017 14:00:15 -0700 8185802: Enable AVX3 by default
kvn [Fri, 04 Aug 2017 14:00:15 -0700] rev 46760
8185802: Enable AVX3 by default Reviewed-by: thartmann
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 +10000 tip