Github user kkhatua commented on the issue:

    https://github.com/apache/drill/pull/1204
  
    You could try re-pushing the last commit with a different commit ID (change 
a trailing text in the PR to have Git generate a different ID). I don't see an 
option within Travis to resubmit.


---

Reply via email to