https://codereview.chromium.org/11024005/diff/1/src/version.cc File src/version.cc (right):
https://codereview.chromium.org/11024005/diff/1/src/version.cc#newcode38 src/version.cc:38: #define PATCH_LEVEL 12 We want this to be patch level 15, right? https://codereview.chromium.org/11024005/ -- v8-dev mailing list [email protected] http://groups.google.com/group/v8-dev
