Merge pull request #9848 from yuwata/fix-9835-9844
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Fri, 10 Aug 2018 13:36:34 +0000 (15:36 +0200)
committerGitHub <noreply@github.com>
Fri, 10 Aug 2018 13:36:34 +0000 (15:36 +0200)
commitb257b19e6ba05559c126356526a4b7e095afa39e
tree04f35ee0b7c6a2be5ea6945350eae6cbc0817e1a
parent4c3a2b84d836af3b52cb2e7c6593e2b4d0646823
parentef454fd1936813fa45d3e3b459d43fa30be7bf49
Merge pull request #9848 from yuwata/fix-9835-9844

core: namespace fixes