Report history for x86_64-linux-avx-disabled

Time	Rev	Arch	OS	Compiler	Comment	Warnings		Tests
2019-08-22	v13_dev0-1649-ge5afa1b55	x86_64	linux	gcc 6.3.0 (Debian 6.3.0-18+deb9u1) 20170516	avx disabled	61		2169 / 2169