Merge pull request #10114 from yuwata/namespace-logs
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 18 Sep 2018 09:21:59 +0000 (11:21 +0200)
committerGitHub <noreply@github.com>
Tue, 18 Sep 2018 09:21:59 +0000 (11:21 +0200)
namespace: log message cleanups


Trivial merge