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.7 (2023.0.7) #3227

Closed
mp911de opened this issue Nov 17, 2023 · 0 comments
Closed

Release 3.1.7 (2023.0.7) #3227

mp911de opened this issue Nov 17, 2023 · 0 comments
Assignees
@mp911de
Labels
type: task A general task
Milestone
3.1.7 (2023.0.7)

Comments

@mp911de
Copy link
Member

mp911de commented Nov 17, 2023

No description provided.

@mp911de mp911de added the type: task A general task label Nov 17, 2023
@mp911de mp911de added this to the 3.1.7 (2023.0.7) milestone Nov 17, 2023
mp911de added a commit that referenced this issue Dec 14, 2023
@mp911de
Update CI properties.
92f6645 
See #3227
@mp911de mp911de self-assigned this Dec 15, 2023
mp911de added a commit that referenced this issue Dec 15, 2023
@mp911de
Prepare 3.1.7 (2023.0.7).
18d6c48 
See #3227
mp911de added a commit that referenced this issue Dec 15, 2023
@mp911de
Release version 3.1.7 (2023.0.7).
f1ee82a 
See #3227
mp911de added a commit that referenced this issue Dec 15, 2023
@mp911de
Prepare next development iteration.
799f44d 
See #3227
mp911de added a commit that referenced this issue Dec 15, 2023
@mp911de
After release cleanups.
af35abc 
See #3227
@mp911de mp911de closed this as completed Dec 15, 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.7 (2023.0.7)
Development

No branches or pull requests
1 participant
@mp911de