Update to java-gi 0.13.0 #7

Merged

jwharm merged 1 commit from 0-13-0 into main 2025-11-16 21:25:53 +01:00

Conversation 0 Commits 1 Files changed 66 +174 -215

jwharm commented 2025-11-16 21:25:45 +01:00 (Migrated from github.com)

Copy link

No description provided.

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels   

bug

Something isn't working

  

documentation

Improvements or additions to documentation

  

duplicate

This issue or pull request already exists

  

enhancement

New feature or request

  

good first issue

Good for newcomers

  

help wanted

Extra attention is needed

  

invalid

This doesn't seem right

  

question

Further information is requested

  

wontfix

This will not be worked on

No labels

bug

documentation

duplicate

enhancement

good first issue

help wanted

invalid

question

wontfix

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

java-gi/examples!7

No description provided.