This is an automated email from the ASF dual-hosted git repository. jerpelea pushed a change to branch releases/12.5 in repository https://gitbox.apache.org/repos/asf/nuttx.git
at 9bf72d95d9 Docs/esp32c6: Rename esp32c6-devkit as esp32c6-devkitc
No new revisions were added by this update.
