tree de80498e8725fdc14bfbe9c875ef0b5559edf1fc
parent 8eba309d78abdbf26465e2e7a3450299c9bf0e64
author Florian Mayer <fmayer@google.com> 1553769260 +0000
committer Florian Mayer <fmayer@google.com> 1553769260 +0000

Fix typo in docs.

TBR=primiano

Change-Id: I4d459cc0d284f65685b4aed6dc933d6e8d746102