Skip to content

Conversation

@rzaharia
Copy link
Collaborator

No description provided.

@rzaharia rzaharia self-assigned this Nov 20, 2025
@rzaharia rzaharia added the enhancement New feature or request label Nov 20, 2025
@rzaharia rzaharia linked an issue Nov 20, 2025 that may be closed by this pull request
@github-project-automation github-project-automation bot moved this to In progress in AppCUI Kanban Nov 20, 2025
@github-project-automation github-project-automation bot moved this from In progress to Reviewer approved in AppCUI Kanban Nov 20, 2025
@rzaharia rzaharia merged commit 496fc19 into main Nov 20, 2025
4 of 5 checks passed
@github-project-automation github-project-automation bot moved this from Reviewer approved to Done in AppCUI Kanban Nov 20, 2025
@rzaharia rzaharia deleted the 469-extend-propertiesinterface-and-factorypropertylist branch November 20, 2025 17:01
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.

Extend PropertiesInterface and Factory::PropertyList

3 participants