Skip to content

Add property query#80

Merged
wu-sheng merged 2 commits intomainfrom
property-query
Mar 19, 2025
Merged

Add property query#80
wu-sheng merged 2 commits intomainfrom
property-query

Conversation

@hanahmily
Copy link
Contributor

No description provided.

Signed-off-by: Gao Hongtao <hanahmily@gmail.com>
@hanahmily hanahmily added the enhancement New feature or request label Mar 19, 2025
@hanahmily hanahmily added this to the 0.8.0 milestone Mar 19, 2025
@hanahmily hanahmily requested review from wankai123 and wu-sheng March 19, 2025 10:27
Signed-off-by: Gao Hongtao <hanahmily@gmail.com>
@wu-sheng wu-sheng merged commit 95b4ecf into main Mar 19, 2025
7 checks passed
@wu-sheng wu-sheng deleted the property-query branch March 19, 2025 11:19
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

None yet

Development

Successfully merging this pull request may close these issues.

2 participants