Skip to content

Rmoved pointless warning

Marco Clemencic requested to merge 27-fix-pointless-warning into master

Closes #27 (closed)

Merge request reports