Skip to content

Conversation

@rzaharia
Copy link
Collaborator

@rzaharia rzaharia commented Dec 1, 2025

No description provided.

@rzaharia rzaharia self-assigned this Dec 1, 2025
@rzaharia rzaharia added the Enhancement New feature or request label Dec 1, 2025
@rzaharia rzaharia added this to GView Dec 1, 2025
@github-project-automation github-project-automation bot moved this to In progress in GView Dec 1, 2025
@rzaharia rzaharia merged commit 9cca393 into main Dec 3, 2025
8 checks passed
@github-project-automation github-project-automation bot moved this from In progress to Done in GView Dec 3, 2025
@rzaharia rzaharia deleted the 388-convert-iniconfigsetting-to-properties branch December 3, 2025 22:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Enhancement New feature or request

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants