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) #2864

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

Release 3.1.2 (2023.0.2) #2864

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.
0a6b71f 
See #2864
@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).
fa07def 
See #2864
mp911de added a commit that referenced this issue Jul 14, 2023
@mp911de
Release version 3.1.2 (2023.0.2).
1e65157 
See #2864
mp911de added a commit that referenced this issue Jul 14, 2023
@mp911de
Prepare next development iteration.
1364998 
See #2864
mp911de added a commit that referenced this issue Jul 14, 2023
@mp911de
After release cleanups.
e3fbc9b 
See #2864
@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