Merge pull request #1860 from pbeesley-arm/pb/todo-cleanup
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Thu, 7 Mar 2019 09:57:28 +0000 (09:57 +0000)
committerGitHub <noreply@github.com>
Thu, 7 Mar 2019 09:57:28 +0000 (09:57 +0000)
doc: Remove todo from example code


Trivial merge