Skip to content

Perform a change which was part of PR 4669, but omitted by mistake#4670

Merged
eernstg merged 1 commit into
mainfrom
fix_4669_mar26
Apr 17, 2026
Merged

Perform a change which was part of PR 4669, but omitted by mistake#4670
eernstg merged 1 commit into
mainfrom
fix_4669_mar26

Conversation

@eernstg
Copy link
Copy Markdown
Member

@eernstg eernstg commented Mar 30, 2026

This is an update that should have been performed as part of #4669, but was omitted by mistake: The requirement that parameters (in general) in an augmentation chain should have the same name is obsolete; this requirement is satisfied by construction with named parameters, and it is superseded by new rules for positional parameters. Hence, this PR removes that requirement.

@eernstg
Copy link
Copy Markdown
Member Author

eernstg commented Apr 10, 2026

@lrhn, friendly ping.

@eernstg eernstg merged commit 08e0ff3 into main Apr 17, 2026
4 checks passed
@eernstg eernstg deleted the fix_4669_mar26 branch April 17, 2026 07:09
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.

1 participant