Skip to content

Comments

Switch to base pipe#383

Closed
gaborcsardi wants to merge 4 commits intomainfrom
fix/base-pipe
Closed

Switch to base pipe#383
gaborcsardi wants to merge 4 commits intomainfrom
fix/base-pipe

Conversation

@gaborcsardi
Copy link
Member

No extra changes, needed, seemingly!

@hadley
Copy link
Member

hadley commented Sep 24, 2025

Merged #384 instead

@hadley hadley closed this Sep 24, 2025
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