tree 39da1a4eb37ee4da5a092dcbf380773224ee45e6
parent 1027672f149fed67eca38fc8d3be5daa9c9599f7
author Andrew Walbran <qwandor@google.com> 1536593390 +0100
committer Andrew Walbran <qwandor@google.com> 1536593390 +0100

Fix typo in docs.

Change-Id: I3917467cc338dee5ae7ff5e221f7980c761b92fb