Bob Lantz 5470415bfc Fix mn -v by using output() rather than info() ...

info() doesn't produce any output if it's called at
this point; bug was introduced when we tried to eliminate
print().

2016-09-01 23:25:14 -07:00

..

mn

Fix mn -v by using output() rather than info()

2016-09-01 23:25:14 -07:00