tree 8dfd7998f34dd8a823f737d27703fe084a77bfc8
parent ce688f02908b213c6733038cca2e561af036b770
author Andrew Walbran <qwandor@google.com> 1569939970 +0100
committer Andrew Walbran <qwandor@google.com> 1569944916 +0100

Fix comment.

Change-Id: I9484edf7c4b1b0d0472f0ac61644769c3f5c6c2e