Skip to content

Release 5.1.2 (2023.0.2) #2595

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
Closed
jxblum opened this issue Jun 16, 2023 · 0 comments
Closed

Release 5.1.2 (2023.0.2) #2595

jxblum opened this issue Jun 16, 2023 · 0 comments
Assignees
@mp911de
Labels
type: task A general task
Milestone
5.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 5.1.2 (2023.0.2) milestone Jun 16, 2023
mp911de added a commit that referenced this issue Jul 3, 2023
@mp911de
Update CI properties.
7c10128 
See #2595
@mp911de mp911de self-assigned this Jul 14, 2023
mp911de added a commit that referenced this issue Jul 14, 2023
@mp911de
Prepare 5.1.2 (2023.0.2).
0ed14e7 
See #2595
mp911de added a commit that referenced this issue Jul 14, 2023
@mp911de
Release version 5.1.2 (2023.0.2).
db8d89a 
See #2595
mp911de added a commit that referenced this issue Jul 14, 2023
@mp911de
Prepare next development iteration.
c9e9bf7 
See #2595
mp911de added a commit that referenced this issue Jul 14, 2023
@mp911de
After release cleanups.
11c87a1 
See #2595
@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
5.1.2 (2023.0.2)
Development

No branches or pull requests
2 participants
@mp911de @jxblum