[GitHub] tinkerpop issue #842: TINKERPOP-1945

[FlorianHockmann]

Github user FlorianHockmann commented on the issue:

    https://github.com/apache/tinkerpop/pull/842
  
    @danielcweber the build is now failing because some of the added files miss 
the required license header. Could you please add that?


---