Resolve "Remove provider attribute" (!4) · Merge requests · MUNI-KYPO-CRP / prototypes-and-examples / sandbox-definitions / kypo-crp-demo-training · GitLab

Snippets Groups Projects

Merged Juraj Paluba requested to merge 4-remove-provider-attribute into master 3 years ago

Closes #4 (closed)

Activity

Juraj Paluba changed milestone to %2021.06.0 3 years ago

changed milestone to %2021.06.0
Juraj Paluba added area-backend deliverable-platform prioritymedium stateverification typerefactoring labels 3 years ago

added area-backend deliverable-platform prioritymedium stateverification typerefactoring labels
Kamil Andoniadis merged 3 years ago

merged
Kamil Andoniadis mentioned in commit 3e4376e8 3 years ago

mentioned in commit 3e4376e8

Please register or sign in to reply