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

Release v1.12.3 #2136

Merged
merged 1 commit into from
Oct 28, 2021
Merged

Release v1.12.3 #2136

merged 1 commit into from
Oct 28, 2021

Conversation

ciarams87
Copy link
Member

Proposed changes

Release v1.12.3. Needs #2133 and #2134 to go first.

@github-actions github-actions bot added the documentation Pull requests/issues for documentation label Oct 28, 2021
@ciarams87 ciarams87 changed the title DRAFT: Release v1.12.3 Release v1.12.3 Oct 28, 2021
@ciarams87 ciarams87 merged commit 1e5a368 into release-1.12 Oct 28, 2021
@ciarams87 ciarams87 deleted the r-1.12.3 branch October 28, 2021 18:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Pull requests/issues for documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants