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/10/18 18:49:12 UTC

[GitHub] [incubator-nuttx] btashton edited a comment on pull request #2023: tools: Remove the special handle for Ubuntu under Windows 10

btashton edited a comment on pull request #2023:
URL: https://github.com/apache/incubator-nuttx/pull/2023#issuecomment-711370949


   I agree, especially since WSL2 IS Linux there is really no reason to have the extra logic here.  WSL1 was somewhere in the middle, so it made some sense.


----------------------------------------------------------------
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