Closed msevestre closed 5 years ago
@msevestre should we close this PR for now in order to avoid ocassional merging by somebody?
no this should be merged. Just not know to avoid stupid code update to the wrong version on depending tool. Please leave open and I'll merge as soon as v8 is out
And it's only you or me (or Joerg and rolf) who can merge it so we are pretty safe here :)
@Yuri05 Merging now that v8 is out
@Yuri05: please let's not merge this PR. I just wanted to see if appveyor was working. We should only merge it once we have released V8