tree 8e10def24e3709b11a582e20f2353e9bf5b21d38
parent fdeea03ae84ec29d2a8dfe0b74b3e4cd117a5ae9
author Xin Gao <xingao@google.com> 1519764770 -0500
committer Xin <xingao267@users.noreply.github.com> 1519833931 -0500

Minor documentation change.

Also used to test PR workflow.