Merge pull request #1393 from geesun/correct_comment
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Tue, 22 May 2018 09:34:52 +0000 (10:34 +0100)
committerGitHub <noreply@github.com>
Tue, 22 May 2018 09:34:52 +0000 (10:34 +0100)
commit41e48fed9a2ccecf7e8a53b8ad5574d038176dd7
treefe28caab9cd7dc96670c10038e2f8766975e35ce
parent29e5c717938328a0047ef970a064b18377832117
parent79c17995aa7ab385bb97eeff783dd8acd6ca0935
Merge pull request #1393 from geesun/correct_comment

Correct some typo errors in comment