I guess you can disable the whole feature on Win64 and leave it to someone else to introduce it. You can't work on this stuff without a box. -- Andrei
Yes, but don't forget that there are still a few actual, unresolved issues with the PR (and I'm not talking about my documentation nit-picks here, they could also be done separately).
David
