Maxim Uvarov Mon, 16 Apr 2018 13:02:25 -0700
Hello, our host which we use for updating pull request numbers looks like down. I'm not sure if it will be fixed tomorrow. If not I will do some workaround for that. Probably move this task inside Travis runs.
Maxim.