michallenc commented on PR #17416: URL: https://github.com/apache/nuttx/pull/17416#issuecomment-3620419703
> @michallenc should we convert it to Draft since the author is not responding, to avoid someone adding it without your fix or is it better if you add a Request Change? I was thinking we could merge it and then add another patch that would remove the comment. I am not 100 % sure about splitting config options, but I don't have a strong opinion in this matter. Generally it would be shame to abandon this just because the request to remove two line of code comments. -- 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. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
