Skip to content

chore(docs): update javadoc for Profile interface#103

Merged
jorsol merged 1 commit into
mainfrom
fix/update-javadoc
May 11, 2026
Merged

chore(docs): update javadoc for Profile interface#103
jorsol merged 1 commit into
mainfrom
fix/update-javadoc

Conversation

@jorsol
Copy link
Copy Markdown
Collaborator

@jorsol jorsol commented May 10, 2026

No description provided.

@jorsol jorsol force-pushed the fix/update-javadoc branch from e60b058 to 8758095 Compare May 11, 2026 20:00
@jorsol jorsol merged commit 17ffaab into main May 11, 2026
4 checks passed
@jorsol jorsol deleted the fix/update-javadoc branch May 11, 2026 20:04
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.

1 participant