tree 6b57833bca562d998eeeb75f1db4467b02c3eab0
parent ee5179f161d10b35a8a73f495ca3692fda9b2e71
parent 7bb91b109ffc36026d55cdd67943ec01808f0c24
author peusterm <manuel.peuster@uni-paderborn.de> 1492006981 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1492006981 +0200

Merge pull request #213 from cgeoffroy/pr/minimize_cli

Remove most of the active waits on the cli logs