Commit 5a6d2b986a02fc47fa9dcbb330e6949af8e375ff

ebraminio 2017-12-06T18:27:27

[ci] minor improvements (#644)