Skip to content
This repository has been archived by the owner on Oct 2, 2024. It is now read-only.

quick bug fixes for 0.38 #1905

Merged
merged 4 commits into from
Jun 13, 2024
Merged

quick bug fixes for 0.38 #1905

merged 4 commits into from
Jun 13, 2024

Conversation

reidpr
Copy link
Collaborator

@reidpr reidpr commented Jun 12, 2024

No description provided.

@reidpr reidpr added this to the 0.38 milestone Jun 12, 2024
@reidpr reidpr self-assigned this Jun 12, 2024
@reidpr reidpr requested a review from lucaudill June 13, 2024 15:34
@reidpr
Copy link
Collaborator Author

reidpr commented Jun 13, 2024

Passes internal testing too.

Copy link
Collaborator

@lucaudill lucaudill left a comment

Choose a reason for hiding this comment

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

LGTM

@reidpr reidpr merged commit 1250c19 into master Jun 13, 2024
6 checks passed
@reidpr reidpr deleted the bugfixes-0.38 branch June 13, 2024 16:11
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants