Skip to content

Release 3.1.7 (2023.0.7) #2776

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 Nov 17, 2023 · 0 comments
Closed

Release 3.1.7 (2023.0.7) #2776

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 13, 2023
@mp911de
Polishing.
439cc36 
Fix Javadoc reference.

See #2776
mp911de added a commit that referenced this issue Dec 14, 2023
@mp911de
Update CI properties.
95b0bde 
See #2776
@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).
be08631 
See #2776
mp911de added a commit that referenced this issue Dec 15, 2023
@mp911de
Release version 3.1.7 (2023.0.7).
0bd3660 
See #2776
mp911de added a commit that referenced this issue Dec 15, 2023
@mp911de
Prepare next development iteration.
9c973c7 
See #2776
mp911de added a commit that referenced this issue Dec 15, 2023
@mp911de
After release cleanups.
a914afd 
See #2776
@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