Skip to content
This repository was archived by the owner on Nov 12, 2022. It is now read-only.

Update mozjs to 88 #541

Merged
merged 4 commits into from
Apr 17, 2021
Merged

Update mozjs to 88 #541

merged 4 commits into from
Apr 17, 2021

Conversation

sagudev
Copy link
Member

@sagudev sagudev commented Apr 14, 2021

bors-servo added a commit to servo/servo that referenced this pull request Apr 15, 2021
@sagudev
Copy link
Member Author

sagudev commented Apr 15, 2021

Ready for merge!

@sagudev
Copy link
Member Author

sagudev commented Apr 16, 2021

Waiting for servo/mozjs#279.

@sagudev
Copy link
Member Author

sagudev commented Apr 16, 2021

Now its ready.

@jdm
Copy link
Member

jdm commented Apr 16, 2021

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 81a7ea6 has been approved by jdm

@bors-servo
Copy link
Contributor

⌛ Testing commit 81a7ea6 with merge fe738cc...

@bors-servo
Copy link
Contributor

☀️ Test successful - checks-github
Approved by: jdm
Pushing fe738cc to master...

@bors-servo bors-servo merged commit fe738cc into servo:master Apr 17, 2021
bors-servo added a commit to servo/servo that referenced this pull request Apr 17, 2021
bors-servo added a commit to servo/servo that referenced this pull request Apr 17, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants