Merge pull request #298272 from bobby285271/upd/mozjs102

spidermonkey_102: 102.13.0 -> 102.15.1
This commit is contained in:
Bobby Rong 2024-03-24 12:11:41 +08:00 committed by GitHub
commit 6c9cb398b4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,4 +1,4 @@
import ./common.nix { import ./common.nix {
version = "102.13.0"; version = "102.15.1";
hash = "sha512-dF9Kd+TImDE/ERGCdNJ1E/S6oWu0LVtx2b0NvolX2/OaX3roRCzXEayptZe8kJwEtEy42QlMV6o04oXmT4NP3g=="; hash = "sha512-vbZrT7ViKvPmBYCjvNRk2Y7xPLONasbJ5fwEblZ6ADzwgBJdd0iVDJHEQv3l6AJMUMQYDS9VGqNSgWCjwFrhhw==";
} }