Upgrade V8 to v13.1.201.15

buffer · buffer · commit c87aedb84404 · 2024-12-05T14:46:44.000+01:00
diff --git a/settings.py b/settings.py
@@ -7,7 +7,7 @@
 V8_HOME = os.environ.get("V8_HOME", os.path.join(STPYV8_HOME, "v8"))
 
 V8_GIT_URL = "https://chromium.googlesource.com/v8/v8.git"
-V8_GIT_TAG_STABLE = "13.1.201.9"
+V8_GIT_TAG_STABLE = "13.1.201.15"
 V8_GIT_TAG_MASTER = "master"
 V8_GIT_TAG = V8_GIT_TAG_STABLE
 DEPOT_GIT_URL = "https://chromium.googlesource.com/chromium/tools/depot_tools.git"
