Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

This PR contains auto-generated changes after a merge in the external gir-files repository.

@bilelmoussaoui bilelmoussaoui force-pushed the auto-pr-branch branch 2 times, most recently from 8adfd72 to 9e79b3c Compare September 29, 2025 09:31
@bilelmoussaoui bilelmoussaoui force-pushed the auto-pr-branch branch 3 times, most recently from 152657b to a49a5a5 Compare September 30, 2025 09:07
It uses &str instead of GStr or so, as that is what we use everywhere else
in this type so far. Can be updated in a separate PR.
@bilelmoussaoui bilelmoussaoui merged commit 0a41253 into main Sep 30, 2025
39 of 41 checks passed
@bilelmoussaoui bilelmoussaoui deleted the auto-pr-branch branch September 30, 2025 09:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants