tree 2d2bc04190d65867b5fa897df68878f8c053d996
parent 3fb5f1380671b6b9d3b511fc2b80051a14313dec
parent 80ddb8f5517b4632307705858c3402081583a456
author Dimitry Ivanov <dimitry@google.com> 1462929799 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1462929800 +0000

Merge "Check if public namespace has already been initialized"