Merge pull request #4937 from nihui/patch-1
authorJeff Donahue <jeff.donahue@gmail.com>
Tue, 1 Nov 2016 17:35:30 +0000 (10:35 -0700)
committerGitHub <noreply@github.com>
Tue, 1 Nov 2016 17:35:30 +0000 (10:35 -0700)
add the missing star in comment


Trivial merge