Skip to content
This repository was archived by the owner on Dec 19, 2025. It is now read-only.

revert accidental main branch changes#75

Merged
JBludau merged 3 commits intomainfrom
grigorik/revert
Nov 12, 2025
Merged

revert accidental main branch changes#75
JBludau merged 3 commits intomainfrom
grigorik/revert

Conversation

@IvanGrigorik
Copy link
Copy Markdown
Collaborator

No description provided.

@IvanGrigorik
Copy link
Copy Markdown
Collaborator Author

@JBludau reverts

@IvanGrigorik IvanGrigorik requested a review from JBludau November 12, 2025 04:37
Copy link
Copy Markdown
Contributor

@JBludau JBludau left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

requested by Ivan

@JBludau JBludau merged commit 2b9cb60 into main Nov 12, 2025
42 checks passed
@JBludau JBludau deleted the grigorik/revert branch November 12, 2025 13:08
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