Skip to content

Master->Develop after release#2979

Merged
battermann merged 3 commits intodevelopfrom
master
Jan 12, 2023
Merged

Master->Develop after release#2979
battermann merged 3 commits intodevelopfrom
master

Conversation

@zebot
Copy link
Contributor

@zebot zebot commented Jan 12, 2023

No description provided.

@zebot zebot temporarily deployed to cachix January 12, 2023 13:27 — with GitHub Actions Inactive
@zebot zebot temporarily deployed to cachix January 12, 2023 13:27 — with GitHub Actions Inactive
@zebot zebot added the ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist label Jan 12, 2023
@battermann battermann merged commit e43c88d into develop Jan 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments