Skip to content

chore: fix missing release of v1.13.2#83

Merged
aj3sh merged 1 commit intomainfrom
release/v1.13.3
Jan 11, 2026
Merged

chore: fix missing release of v1.13.2#83
aj3sh merged 1 commit intomainfrom
release/v1.13.3

Conversation

@aj3sh
Copy link
Member

@aj3sh aj3sh commented Jan 11, 2026

Release-As: 1.13.3

@aj3sh aj3sh merged commit adefded into main Jan 11, 2026
2 checks passed
@aj3sh aj3sh deleted the release/v1.13.3 branch January 11, 2026 13:03
@github-actions github-actions bot mentioned this pull request Jan 11, 2026
@Mulugruntz
Copy link

Hi @aj3sh !
So, we jumped directly from 1.3 to 1.13? 😬

Note that Release Please can be used in a more automated way, so that you don't need to tell it which version needs to be released. It'll do the bumps automatically according to rules you pre-setup. That prevents this type of typos.

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