Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: Bump ninja to 1.12 on Windows #141

Merged
merged 2 commits into from
Apr 19, 2024
Merged

chore: Bump ninja to 1.12 on Windows #141

merged 2 commits into from
Apr 19, 2024

Conversation

ebariche
Copy link
Member

No description provided.

@ebariche ebariche requested a review from jeromelaban April 19, 2024 19:14
@ebariche ebariche merged commit a4c9e09 into master Apr 19, 2024
13 checks passed
Copy link

welcome bot commented Apr 19, 2024

Congrats on your first pull-request! We ❤ the people who are involved in this project, and we’d love to pay it forward by sending you some swag. If you have any feedback (or ideas how to improve Uno as a open-source project) please open a feedback issue.
giphy
Merci beaucoup 👋

@delete-merged-branch delete-merged-branch bot deleted the dev/eb/ninja branch April 19, 2024 19:30
@ebariche
Copy link
Member Author

@Mergifyio backport release/8.0

Copy link

mergify bot commented Apr 22, 2024

backport release/8.0

✅ Backports have been created

ebariche added a commit that referenced this pull request Apr 22, 2024
chore: Bump ninja to 1.12 on Windows (backport #141)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant