Skip to content

Remove outdated code in RefinementSolver - #961

Merged
hernanponcedeleon merged 1 commit into
developmentfrom
cutting
Jan 17, 2026
Merged

hernanponcedeleon merged 1 commit into
developmentfrom
cutting

Conversation

@hernanponcedeleon

Copy link
Copy Markdown
Owner

The check is not needed anymore since #908

Signed-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>

@ThomasHaas ThomasHaas left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@hernanponcedeleon
hernanponcedeleon merged commit ca84bd2 into development Jan 17, 2026
7 checks passed
@hernanponcedeleon
hernanponcedeleon deleted the cutting branch January 17, 2026 20:13
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