servo / rust-mozjs

DEPRECATED - moved to servo/mozjs instead.
Mozilla Public License 2.0
293 stars 117 forks source link

Update mozjs to 88 #541

Closed sagudev closed 3 years ago

sagudev commented 3 years ago

https://github.com/servo/mozjs/pull/277

sagudev commented 3 years ago

Ready for merge!

sagudev commented 3 years ago

Waiting for https://github.com/servo/mozjs/pull/279.

sagudev commented 3 years ago

Now its ready.

jdm commented 3 years ago

@bors-servo r+

bors-servo commented 3 years ago

:pushpin: Commit 81a7ea6 has been approved by jdm

bors-servo commented 3 years ago

:hourglass: Testing commit 81a7ea65bd15c88b0bc4641b8b2dfe8052b4423d with merge fe738cca3320ffcbc4c520ced79c2141ceabf42d...

bors-servo commented 3 years ago

:sunny: Test successful - checks-github Approved by: jdm Pushing fe738cca3320ffcbc4c520ced79c2141ceabf42d to master...