v01d commented on issue #1638: URL: https://github.com/apache/incubator-nuttx/issues/1638#issuecomment-683496694
@patacongo I would like to fix the issue about two sections being named the same (this happened in the original HTML docs), but I don't know what was your original intention at the time. You probably have the correct name for one of them in mind. They are the following ones: * https://nuttx.apache.org/docs/latest/reference/user/01_task_control.html * https://nuttx.apache.org/docs/latest/reference/user/03_task_control.html Let me know and I can use the proper section name. ---------------------------------------------------------------- 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: [email protected]
