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

Update mozjs. #562

Merged
merged 1 commit into from
Nov 1, 2022
Merged

Update mozjs. #562

merged 1 commit into from
Nov 1, 2022

Conversation

jdm
Copy link
Member

@jdm jdm commented Nov 1, 2022

No description provided.

@jdm
Copy link
Member Author

jdm commented Nov 1, 2022

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 27a3819 has been approved by jdm

@bors-servo
Copy link
Contributor

⌛ Testing commit 27a3819 with merge ad013f2...

@bors-servo
Copy link
Contributor

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

@bors-servo bors-servo merged commit ad013f2 into master Nov 1, 2022
@bors-servo bors-servo mentioned this pull request Nov 1, 2022
1 task
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.

2 participants