Skip to content

Conversation

@mechite
Copy link
Contributor

@mechite mechite commented Oct 29, 2025

(premature apologies - I have not tested any of this, I just wrote it in the web editor)
resolves #131

@mechite mechite marked this pull request as draft October 29, 2025 00:18
@SentryMan SentryMan marked this pull request as ready for review October 29, 2025 00:18
@SentryMan SentryMan enabled auto-merge (squash) October 29, 2025 00:18
Signed-off-by: Mahied Maruf <contact@mechite.com>
auto-merge was automatically disabled October 29, 2025 03:50

Head branch was pushed to by a user without write access

@SentryMan SentryMan merged commit 27e1199 into avaje:main Nov 3, 2025
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.

Issue when using Javadoc tool on generated prisms

2 participants