Skip to content
GitLab
Explore
Sign in
Bliss
bliss
Merge requests
!1636
Resolve "NameError: name 'DeviceProxy' is not defined"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Laurent Claustre
requested to merge
1071-nameerror-name-deviceproxy-is-not-defined
into
master
Oct 18, 2019
Overview
1
Commits
1
Pipelines
2
Changes
1
Expand
Closes
#1071 (closed)
Edited
Oct 18, 2019
by
Piergiorgio Pancino
Merge request reports