tree cc5ed5eaab801c1a772f8c219554e2f388f79016
parent 174844118121021a17e37382eeb853774d0a36a6
author Jose Lima <joselima@google.com> 1394473525 -0700
committer Jose Lima <joselima@google.com> 1394474122 -0700

Change comment for platform version in master

Change-Id: Iebee3f110a6183c43fd338d89ec46f7ae99f7611