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

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

Release 3.1.7 (2023.0.7) #543

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.
f8e2d6e 
See #543
@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).
22ee668 
See #543
mp911de added a commit that referenced this issue Dec 15, 2023
@mp911de
Release version 3.1.7 (2023.0.7).
8f09b9f 
See #543
mp911de added a commit that referenced this issue Dec 15, 2023
@mp911de
Prepare next development iteration.
33081a5 
See #543
mp911de added a commit that referenced this issue Dec 15, 2023
@mp911de
After release cleanups.
a8f8a01 
See #543
@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