Build #720 (16.05.2018 23:02:57)

1. second coveralls attempt (commit: 4cc7962) (detail / githubweb)

Started by remote host 192.30.253.29 with note: null

• refs/remotes/origin/master