Skip to content

Conversation

@MariaSolOs
Copy link
Contributor

Fixes #993

@mfussenegger mfussenegger merged commit 9abbf79 into mfussenegger:master Jul 27, 2023
@mfussenegger
Copy link
Owner

Thanks

@MariaSolOs MariaSolOs deleted the ps-fix branch July 27, 2023 05: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.

Pick process shows no results

2 participants