Skip to content

Conversation

@nk9
Copy link
Contributor

@nk9 nk9 commented Jan 13, 2025

  • I agree to follow the project's code of conduct.
  • I added an entry to the project's change log file if knowledge of this change could be valuable to users.
    • Usually called CHANGES.md or CHANGELOG.md
    • Prefix changelog entries for breaking changes with "BREAKING: "

Co-authored-by: Laurențiu Nicola <[email protected]>
@urschrei urschrei enabled auto-merge January 13, 2025 14:16
@urschrei urschrei added this pull request to the merge queue Jan 13, 2025
Merged via the queue into georust:main with commit 14d71bb Jan 13, 2025
28 checks passed
@lnicola
Copy link
Member

lnicola commented Jan 13, 2025

What happened, why didn't this get merged 4 hours ago?

@urschrei
Copy link
Member

I think GH had a git ops hiccup, which maybe delayed it?

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.

4 participants