Merge pull request #527 from antonio-nino-diaz-arm/an/non_ascii
danh-arm authored
Remove non-ASCII character from comment
cd48eeb5