Documentation change#212

Logofile wants to merge 1 commit intoprotocolbuffers:mainprotocolbuffers/protocolbuffers.github.io:mainfrom

Logofile:syncLogofile/protocolbuffers.github.io:syncCopy head branch name to clipboard