Re: DNS Name Resolution Issue

[Gregory Nutt]

> That seems like a correct analysis.  Can you please submit a PR to 
https://github.com/apache/incubator-nuttx ?

Sorry, that should have been https://github.com/apache/incubator-nuttx-apps/