Skip to content
This repository was archived by the owner on Apr 4, 2025. It is now read-only.

Conversation

@GeekMasher
Copy link
Contributor

No description provided.

@GeekMasher GeekMasher added enhancement New feature or request java labels Sep 20, 2022
@GeekMasher GeekMasher requested a review from aegilops September 20, 2022 17:01
@GeekMasher GeekMasher self-assigned this Sep 20, 2022
@GeekMasher
Copy link
Contributor Author

Need to wait for other PR to be merged
#48

@GeekMasher GeekMasher enabled auto-merge June 20, 2023 13:52
@aegilops aegilops disabled auto-merge June 30, 2023 12:56
@aegilops aegilops merged commit 5acb559 into main Jun 30, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

enhancement New feature or request java

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants