Skip to content

Revert optional parameter index intergration PR#6011

Merged
ml86 merged 2 commits into
masterfrom
markus/revertOptionalParamIndex
May 29, 2026
Merged

Revert optional parameter index intergration PR#6011
ml86 merged 2 commits into
masterfrom
markus/revertOptionalParamIndex

Conversation

@ml86

@ml86 ml86 commented May 28, 2026

Copy link
Copy Markdown
Contributor

We need to revert the hole optional parameter index feature because loosing a linear numbering of parameters would be a pain in too many place like e.g. the policy data flow semantics in MAP statements and the fingerprints.

@ml86 ml86 changed the title markus/revertOptionalParamIndex Revert optional parameter index intergration PR May 28, 2026
@ml86 ml86 requested review from SuperUserDone, bbrehm and maltek May 28, 2026 16:00
@ml86 ml86 merged commit 6e36fc8 into master May 29, 2026
15 of 16 checks passed
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