Skip to content

[MNG-8750] Delete unused interface#2388

Merged
elharo merged 1 commit intomasterfrom
MNG-8750
May 28, 2025
Merged

[MNG-8750] Delete unused interface#2388
elharo merged 1 commit intomasterfrom
MNG-8750

Conversation

@elharo
Copy link
Contributor

@elharo elharo commented May 25, 2025

No description provided.

@elharo elharo requested a review from gnodet May 25, 2025 17:53
@elharo elharo marked this pull request as ready for review May 25, 2025 17:53
@elharo elharo merged commit 58c9d56 into master May 28, 2025
26 checks passed
@elharo elharo deleted the MNG-8750 branch May 28, 2025 10:42
@github-actions github-actions bot added this to the 4.0.0-rc-4 milestone May 28, 2025
@jira-importer
Copy link

Resolve #9544

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants