Skip to content

Conversation

@Gustavo2622
Copy link
Contributor

This PR generalizes the proc change to be able to replace multiple lines with multiple lines.

@Gustavo2622 Gustavo2622 requested a review from strub October 27, 2025 09:16
@Gustavo2622 Gustavo2622 force-pushed the feature_procchange branch 3 times, most recently from 9fa78f0 to bc01b1f Compare October 27, 2025 14:32
@strub strub enabled auto-merge (rebase) October 28, 2025 11:02
@strub strub merged commit 2795594 into main Oct 28, 2025
15 checks passed
@strub strub deleted the feature_procchange branch October 28, 2025 14:24
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.

3 participants