Skip to content

chore(config): Added optional sign to Config.leader#52

Merged
DrKJeff16 merged 1 commit into
mainfrom
patch/types
Aug 4, 2025
Merged

chore(config): Added optional sign to Config.leader#52
DrKJeff16 merged 1 commit into
mainfrom
patch/types

Conversation

@DrKJeff16
Copy link
Copy Markdown
Owner

No description provided.

@DrKJeff16 DrKJeff16 self-assigned this Aug 4, 2025
@DrKJeff16 DrKJeff16 removed the request for review from justinsgithub August 4, 2025 20:20
@DrKJeff16 DrKJeff16 merged commit 2154038 into main Aug 4, 2025
1 check passed
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