tree 077e1e1814dad11273473695f8f1f30092736a3e
parent e770467384f1e3f0a13adef6b8afb7e6603ed177
author Han-Wen Nienhuys <hanwen@google.com> 1442849320 +0000
committer Damien Martin-Guillerez <dmarting@google.com> 1442849688 +0000

Serialize workspaceName.

--
MOS_MIGRATED_REVID=103547846