Resolve "use of openjdk in deb package" (!769) · Merge requests · minerva / core · GitLab

Snippets Groups Projects

Merged Piotr Gawron requested to merge 223-openjdk-in-debian-package into devel_13.0.x 5 years ago

Closes #223 (closed)

Activity

Piotr Gawron changed milestone to %v13.0.0 5 years ago

changed milestone to %v13.0.0
Piotr Gawron added enhancement label 5 years ago

added enhancement label
Piotr Gawron enabled an automatic merge when the pipeline for 2fff2388 succeeds 5 years ago

enabled an automatic merge when the pipeline for 2fff2388 succeeds
Piotr Gawron merged 5 years ago

merged
Piotr Gawron mentioned in commit 7d19ee65 5 years ago

mentioned in commit 7d19ee65

Please register or sign in to reply