Skip to content

chore: promote develop to main without cutting a release - #1708

Merged
Jaro-c merged 1 commit into
mainfrom
develop
Sep 5, 2026
Merged

Jaro-c merged 1 commit into
mainfrom
develop

Conversation

@Jaro-c

@Jaro-c Jaro-c commented Sep 5, 2026

Copy link
Copy Markdown
Member

Merge commit, no tag. The only commit past 5.9.1 is #1707, the documentation pass against the 5.9.1 binary: CREATED as a moment, the audit examples, the autostart status line and the dated measurements. The README GitHub shows is main's, so the corrections belong there without waiting for the next version. No code change; nothing to release.

Signed-off-by: Jaro-c 75870284+Jaro-c@users.noreply.github.com

…rries its date (#1707)

Closes #1706. Each change checked against the binary or a capture from
today; no code change.

Signed-off-by: Jaro-c <75870284+Jaro-c@users.noreply.github.com>

Signed-off-by: Jaro-c <75870284+Jaro-c@users.noreply.github.com>
@Jaro-c Jaro-c added the type:chore Maintenance with no product impact label Sep 5, 2026
@Jaro-c
Jaro-c merged commit ef81f58 into main Sep 5, 2026
52 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type:chore Maintenance with no product impact

Development

Successfully merging this pull request may close these issues.

1 participant