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.

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

Release 3.1.2 (2023.0.2) #1542

Closed
jxblum opened this issue Jun 16, 2023 · 0 comments
Closed

Release 3.1.2 (2023.0.2) #1542

jxblum opened this issue Jun 16, 2023 · 0 comments
Assignees
@mp911de
Labels
type: task A general task
Milestone
3.1.2 (2023.0.2)

Comments

@jxblum
Copy link
Contributor

jxblum commented Jun 16, 2023

No description provided.

@jxblum jxblum added the type: task A general task label Jun 16, 2023
@jxblum jxblum added this to the 3.1.2 (2023.0.2) milestone Jun 16, 2023
mp911de added a commit that referenced this issue Jul 3, 2023
@mp911de
Update CI properties.
4c3de4a 
See #1542
@mp911de mp911de self-assigned this Jul 14, 2023
mp911de added a commit that referenced this issue Jul 14, 2023
@mp911de
Prepare 3.1.2 (2023.0.2).
1ee4479 
See #1542
mp911de added a commit that referenced this issue Jul 14, 2023
@mp911de
Release version 3.1.2 (2023.0.2).
05b8b8e 
See #1542
mp911de added a commit that referenced this issue Jul 14, 2023
@mp911de
Prepare next development iteration.
a864bcc 
See #1542
mp911de added a commit that referenced this issue Jul 14, 2023
@mp911de
After release cleanups.
33bf02e 
See #1542
@mp911de mp911de closed this as completed Jul 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mp911de mp911de

Labels
type: task A general task
Projects
None yet
Milestone
3.1.2 (2023.0.2)
Development

No branches or pull requests
2 participants
@mp911de @jxblum