Skip to content

Release 3.1.5 (2023.0.5) #2711

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
mp911de opened this issue Sep 15, 2023 · 0 comments
Closed

Release 3.1.5 (2023.0.5) #2711

mp911de opened this issue Sep 15, 2023 · 0 comments
Assignees
@jxblum
Labels
type: task A general task
Milestone
3.1.5 (2023.0.5)

Comments

@mp911de
Copy link
Member

mp911de commented Sep 15, 2023

No description provided.

@mp911de mp911de added the type: task A general task label Sep 15, 2023
@mp911de mp911de added this to the 3.1.5 (2023.0.5) milestone Sep 15, 2023
jxblum added a commit that referenced this issue Oct 5, 2023
@jxblum
Update CI properties.
0a83027 
See #2711
mp911de added a commit that referenced this issue Oct 11, 2023
@mp911de
Polishing.
a0c8136 
Remove superfluous versions. Improve make clean by removing stale pid files.

See #2711
@jxblum jxblum self-assigned this Oct 13, 2023
jxblum added a commit that referenced this issue Oct 13, 2023
@jxblum
Prepare 3.1.5 (2023.0.5).
4328325 
See #2711
jxblum added a commit that referenced this issue Oct 13, 2023
@jxblum
Release version 3.1.5 (2023.0.5).
8368692 
See #2711
jxblum added a commit that referenced this issue Oct 13, 2023
@jxblum
Prepare next development iteration.
727ff4f 
See #2711
jxblum added a commit that referenced this issue Oct 13, 2023
@jxblum
After release cleanups.
c9b194c 
See #2711
@jxblum jxblum closed this as completed Oct 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jxblum jxblum

Labels
type: task A general task
Projects
None yet
Milestone
3.1.5 (2023.0.5)
Development

No branches or pull requests
2 participants
@mp911de @jxblum