Skip to content

Conversation

phip1611
Copy link
Member

Solves the confusion brought up in #1539

Checklist

  • Sensible git history (for example, squash "typo" or "fix" commits). See the Rewriting History guide for help.
  • Update the changelog (if necessary)

Copy link
Member

@nicholasbishop nicholasbishop left a comment

Choose a reason for hiding this comment

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

lgtm % CI failures

@phip1611 phip1611 enabled auto-merge February 14, 2025 10:52
@phip1611 phip1611 added this pull request to the merge queue Feb 14, 2025
Merged via the queue into main with commit b733874 Feb 14, 2025
18 checks passed
@phip1611 phip1611 deleted the memmap branch February 14, 2025 11:01
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