Commit e83c08f5 authored Apr 06, 2017 by Andreas Klöckner

Merge branch 'refinement-logging' into 'master'

Refiner: Change print statement to a log message.

See merge request !12