[GitHub] drill issue #805: Drill-4139: Exception while trying to prune partition. jav...

[jinfengni]

Github user jinfengni commented on the issue:

    https://github.com/apache/drill/pull/805
  
    The revised patch addressed my earlier comments. LGTM. 
    
    +1
    
    ps: I did not look into the change of version number. @paul-rogers would 
have better idea. 
     


---