Skip to content

Conversation

@ratmice
Copy link
Collaborator

@ratmice ratmice commented Oct 22, 2025

This one isn't worth looking at yet, due to conflicts with #604 (I just want to make the PR so I don't forget!)

So I've currently branched off of that pr, and set this one as a draft.
Once that is in I'll rebase this on master and unset as draft.

@ratmice ratmice marked this pull request as ready for review October 22, 2025 09:38
@ltratt
Copy link
Member

ltratt commented Oct 22, 2025

I think this can be undrafted: it looks sensible to me.

@ltratt ltratt added this pull request to the merge queue Oct 22, 2025
@ratmice
Copy link
Collaborator Author

ratmice commented Oct 22, 2025

So I think this is all from me, for this release window. Did you want me to look through the commits since last release and write up a ChangeLog, or would you prefer to do it?

@ltratt
Copy link
Member

ltratt commented Oct 22, 2025

If you're able to make a first draft, I'd be really grateful! I can then make a pass over it. Might be easiest to do that in an issue / by email rather than a PR dance, but up to you!

Merged via the queue into softdevteam:master with commit 7ac8791 Oct 22, 2025
2 checks passed
@ratmice
Copy link
Collaborator Author

ratmice commented Oct 22, 2025

Either one of those works for me, will get working on a first draft.

@ratmice ratmice deleted the fix_clippy branch October 22, 2025 15:22
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.

2 participants