Skip to content
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.

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

build: release v15.13.1 #1774

Merged
merged 1 commit into from
Aug 1, 2023
Merged

build: release v15.13.1 #1774

merged 1 commit into from
Aug 1, 2023

Conversation

felipepetuco
Copy link
Contributor

build: release v15.13.1

jnrpalma
jnrpalma previously approved these changes Jul 31, 2023
anliben
anliben previously approved these changes Jul 31, 2023
anliben
anliben previously approved these changes Aug 1, 2023
jnrpalma
jnrpalma previously approved these changes Aug 1, 2023
CSimoesJr
CSimoesJr previously approved these changes Aug 1, 2023
CHANGELOG.md Outdated Show resolved Hide resolved
@felipepetuco felipepetuco dismissed stale reviews from CSimoesJr, jnrpalma, and anliben via 8aaa9dc August 1, 2023 18:04
@felipepetuco felipepetuco merged commit 3013d36 into master Aug 1, 2023
7 checks passed
@felipepetuco felipepetuco deleted the build/DTHFUI-7545 branch August 1, 2023 19:12
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.

5 participants