Skip to content

469 extend propertiesinterface and factorypropertylist#470

Merged
rzaharia merged 14 commits into
mainfrom
469-extend-propertiesinterface-and-factorypropertylist
Nov 20, 2025
Merged

469 extend propertiesinterface and factorypropertylist#470
rzaharia merged 14 commits into
mainfrom
469-extend-propertiesinterface-and-factorypropertylist

Conversation

@rzaharia
Copy link
Copy Markdown
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

2 participants