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.

Sign up for GitHub

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

Jump to bottom

chore: fix the changelog of #2151 #2178

Merged
merged 1 commit into from
Nov 5, 2023
Merged

chore: fix the changelog of #2151 #2178

merged 1 commit into from
Nov 5, 2023

Conversation

SteveLauC
Copy link
Member

What does this PR do

Fix the changelog of PR #2151

Checklist:

  • I have read CONTRIBUTING.md
  • I have written necessary tests and rustdoc comments
  • A change log has been added if this PR modifies nix's API

Since there are no code changes, to save our CI usage, I will:

  1. Manually skip the CI
  2. Bypass the branch protection, skip the merge queue, directly merge this into the master branch

@SteveLauC SteveLauC merged commit 4b6104c into nix-rust:master Nov 5, 2023
0 of 35 checks passed
@SteveLauC SteveLauC deleted the fix_changelog branch November 5, 2023 05:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@SteveLauC