Skip to content

Comments

Remove unused id field from GlobalFilterInfos DTO#101

Merged
flomillot merged 2 commits intomainfrom
remove-useless-id-global-filter
Feb 23, 2026
Merged

Remove unused id field from GlobalFilterInfos DTO#101
flomillot merged 2 commits intomainfrom
remove-useless-id-global-filter

Conversation

@flomillot
Copy link
Contributor

@flomillot flomillot commented Feb 18, 2026

PR Summary

necessary for gridsuite/gridstudy-app#3744

Signed-off-by: Florent MILLOT <75525996+flomillot@users.noreply.github.com>
…ertions

Signed-off-by: Florent MILLOT <75525996+flomillot@users.noreply.github.com>
@sonarqubecloud
Copy link

@basseche basseche self-requested a review February 19, 2026 15:48
@flomillot flomillot merged commit 88c1efa into main Feb 23, 2026
3 checks passed
@flomillot flomillot deleted the remove-useless-id-global-filter branch February 23, 2026 16:50
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