Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
minerva
core
Merge requests
!769
Resolve "use of openjdk in deb package"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Piotr Gawron
requested to merge
223-openjdk-in-debian-package
into
devel_13.0.x
May 06, 2019
Overview
0
Commits
2
Pipelines
1
Changes
5
Expand
Closes
#223 (closed)
Merge request reports
