Skip to content

[pull] master from apache:master#42

Merged
imbajin merged 1 commit intohugegraph:masterfrom
apache:master
Sep 22, 2025
Merged

[pull] master from apache:master#42
imbajin merged 1 commit intohugegraph:masterfrom
apache:master

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Sep 20, 2025

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

@pull pull bot locked and limited conversation to collaborators Sep 20, 2025
@pull pull bot added the ⤵️ pull label Sep 20, 2025
@dosubot dosubot bot added the size:S This PR changes 10-29 lines, ignoring generated files. label Sep 20, 2025
@imbajin imbajin merged commit d107e74 into hugegraph:master Sep 22, 2025
14 of 15 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

⤵️ pull size:S This PR changes 10-29 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants