release/v1.2.0 #31
David
commented 2024-06-01 19:26:29 +02:00
Owner
No description provided.
David
added 4 commits 2024-06-01 19:26:31 +02:00
Merge pull request 'master' (#29) from master into develop
15c6543eaf
All checks were successful
continuous-integration/drone/push Build is passing
Details
Adding parameter to add additional modules to optimized JDK
6969e81737
All checks were successful
continuous-integration/drone/pr Build is passing
Details
Merge pull request 'Adding parameter to add additional modules to optimized JDK' (#30) from feature/add_modules into develop
ea6923df79
All checks were successful
continuous-integration/drone/push Build is passing
Details
Updating CHANGELOD.md
190ed8d227
All checks were successful
continuous-integration/drone/pr Build is passing
Details
David
merged commit d9d6db6913 into master 2024-06-01 19:29:12 +02:00
David
deleted branch release/v1.2.0 2024-06-01 19:29:12 +02:00
David
referenced this issue from a commit 2024-06-01 19:29:14 +02:00
Merge pull request 'release/v1.2.0' (#31) from release/v1.2.0 into master
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "release/v1.2.0"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?