Commit 8b60e7c2c301a24906d591c80c42fd5e506072d2

Ebrahim Byagowi 2018-01-22T18:37:26

[ci] minor, less hacks (#722)