Skip to content

Do not include signum as submodule#541

Merged
nodh merged 17 commits intodevelopfrom
feature/signum-dependency
Apr 16, 2026
Merged

Do not include signum as submodule#541
nodh merged 17 commits intodevelopfrom
feature/signum-dependency

Conversation

@nodh
Copy link
Copy Markdown
Member

@nodh nodh commented Mar 25, 2026

No description provided.

@nodh nodh added this to the 5.12.0 milestone Mar 25, 2026
@nodh nodh requested a review from JesusMcCloud March 25, 2026 08:13
@nodh nodh self-assigned this Mar 25, 2026
Copy link
Copy Markdown

@chatgpt-codex-connector chatgpt-codex-connector bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: b63e3f8df9

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread .gitmodules
@JesusMcCloud
Copy link
Copy Markdown
Collaborator

KxS hotfix release in the works. I'll then update signum too, so it won't pull in the broken KxS release any more

@JesusMcCloud
Copy link
Copy Markdown
Collaborator

*.1 Point releases are on maven central, updating to KxS 0.11.0

@JesusMcCloud
Copy link
Copy Markdown
Collaborator

merge at your discretion

@chatgpt-codex-connector
Copy link
Copy Markdown

Codex usage limits have been reached for code reviews. Please check with the admins of this repo to increase the limits by adding credits.
Credits must be used to enable repository wide code reviews.

@nodh nodh merged commit 2596339 into develop Apr 16, 2026
5 checks passed
@nodh nodh deleted the feature/signum-dependency branch April 16, 2026 15:23
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.

2 participants