tree 8220f222447b6ec18de50f48db626314095e0649
parent a8286610fb5e829c716b84f1652eaf1f41cac586
author Alberto Debiasi <adebiasi@fbk.eu> 1584953053 +0100
committer Alberto Debiasi <adebiasi@fbk.eu> 1584953053 +0100

Change checker mgr message location, tag default to true.

Change-Id: If62a720d1cad6f1a4b9508bcdfe5a68b295138d8