leave instrumentation log at debug too
Merge branch '1.12'