Skip to content
GitLab
Explore
Sign in
Dev release merge
Code
Review changes
Check out branch
Download
Patches
Plain diff
Kostas FILIPPOPOLITIS
requested to merge
dev_release_merge
into
dev_release
Feb 11, 2020
Overview
7
Commits
8
Pipelines
0
Changes
20
Expand
Created by: JerryPan44
Changelog:
Labels added in the algorithm parameters.
Validator for the label field added.
Merge request reports