Skip to content

Miscellaneous fixes relating to PE classes#293

Merged
psvenk merged 23 commits intomainfrom
pe
Jan 27, 2026
Merged

Miscellaneous fixes relating to PE classes#293
psvenk merged 23 commits intomainfrom
pe

Conversation

@psvenk
Copy link
Copy Markdown
Member

@psvenk psvenk commented Jan 26, 2026

This draft PR will house some finishing touches on the PE classes feature (prev: #284), such as resolving the remaining TODOs.

@psvenk psvenk marked this pull request as ready for review January 27, 2026 22:09
Copy link
Copy Markdown
Collaborator

@dtemkin1 dtemkin1 left a comment

Choose a reason for hiding this comment

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

lgtm!

@psvenk psvenk merged commit a609437 into main Jan 27, 2026
7 checks passed
@dtemkin1 dtemkin1 deleted the pe branch February 1, 2026 04:31
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