You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@nuttx.apache.org by GitBox <gi...@apache.org> on 2020/02/20 03:03:15 UTC
[GitHub] [incubator-nuttx] yamt opened a new pull request #327: Replace bare
greek letters with unicode code point
yamt opened a new pull request #327: Replace bare greek letters with unicode code point
URL: https://github.com/apache/incubator-nuttx/pull/327
Otherwise, my poor editor goes mad.
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
With regards,
Apache Git Services
[GitHub] [incubator-nuttx] patacongo commented on issue #327: Replace bare
greek letters with unicode code point
Posted by GitBox <gi...@apache.org>.
patacongo commented on issue #327: Replace bare greek letters with unicode code point
URL: https://github.com/apache/incubator-nuttx/pull/327#issuecomment-589075899
But doesn't this also make the code unreadable for those of using simple text editors. It would be better to remove the comment than to make unreadble for most people.
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
With regards,
Apache Git Services
[GitHub] [incubator-nuttx] patacongo commented on issue #327: Replace bare
greek letters with unicode code point
Posted by GitBox <gi...@apache.org>.
patacongo commented on issue #327: Replace bare greek letters with unicode code point
URL: https://github.com/apache/incubator-nuttx/pull/327#issuecomment-589089444
This cannot be merged. It makes the code unreadable for the rest of the world. I will close the PR now.
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
With regards,
Apache Git Services
[GitHub] [incubator-nuttx] patacongo closed pull request #327: Replace bare
greek letters with unicode code point
Posted by GitBox <gi...@apache.org>.
patacongo closed pull request #327: Replace bare greek letters with unicode code point
URL: https://github.com/apache/incubator-nuttx/pull/327
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
With regards,
Apache Git Services