Merge branch 'network_properties' into 'devel'
Passed
Vivek Dutta
created pipeline for commit
91b7aa9e
, finished
For devel
45 seconds, queued for 1 seconds