Skip to content
Snippets Groups Projects

Update to bob-devel 2019.04.30

Merged Amir MOHAMMADI requested to merge torch into master
Status
Pipeline
Created by
Stages
Actions
Passed

00:04:12

avatar
Download artifacts

No artifacts found

Loading