Skip to content

Conversation

phfaustini
Copy link
Contributor

No description provided.

@tclose
Copy link
Contributor

tclose commented Jul 31, 2025

Ok @phfaustini, that change is merged now. Please rebase your branch on main and force push it to pick up the change

@phfaustini
Copy link
Contributor Author

@tclose done!

@tclose tclose merged commit e7be856 into main Jul 31, 2025
3 checks passed
@tclose
Copy link
Contributor

tclose commented Jul 31, 2025

2025.7.2 should contain your changes now

@tclose tclose deleted the phi-finder branch August 19, 2025 03:18
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