New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Bump version to 1.3.3 #1135

Merged

janezpodhostnik merged 1 commit into master from janez/update-version-txt

Jul 20, 2023

Contributor

janezpodhostnik commented Jul 20, 2023

Description

For contributor use:

Targeted PR against master branch
Linked to Github issue with discussion and accepted design OR link to spec that describes this work
Code follows the standards mentioned here
Updated relevant documentation
Re-reviewed Files changed in the Github PR explorer
Added appropriate labels


          Bump version to 1.3.3

9d20ccc

janezpodhostnik requested review from Kay-Zee, sideninja, DylanTinianov, chasefleming and nvdtf as code owners

July 20, 2023 15:58

chasefleming approved these changes

View reviewed changes

janezpodhostnik merged commit 3dbe90a into master

6 checks passed

janezpodhostnik deleted the janez/update-version-txt branch

July 20, 2023 19:13

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

chasefleming chasefleming approved these changes

Kay-Zee Awaiting requested review from Kay-Zee Kay-Zee is a code owner

sideninja Awaiting requested review from sideninja

DylanTinianov Awaiting requested review from DylanTinianov

nvdtf Awaiting requested review from nvdtf nvdtf is a code owner

Labels

None yet