Github user cgivre commented on the issue:

    https://github.com/apache/drill/pull/897
  
    Yes, it can be closed.  Nice work on the syntax highlighting!
    
    > On Jan 29, 2018, at 16:46, Kunal Khatua <[email protected]> wrote:
    > 
    > @cgivre <https://github.com/cgivre> can we close this PR if the #1043 
<https://github.com/apache/drill/pull/1043> met the objectives?
    > 
    > —
    > You are receiving this because you were mentioned.
    > Reply to this email directly, view it on GitHub 
<https://github.com/apache/drill/pull/897#issuecomment-361397564>, or mute the 
thread 
<https://github.com/notifications/unsubscribe-auth/AFQfvsiUGAdr4o4r3V4cQQiUaQclNr13ks5tPjxFgaJpZM4Ou-Rh>.
    > 
    



---

Reply via email to