Gedare Bloom commented on a discussion: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/282#note_114219 Yes that is fine. We can just make note of these things in the release notes. As stated, it is unlikely anyone else has created their own external tools to process the records, and the rest of the API is the same. I will be fine to resolve this thread with an Issue to address some of these improvements in the future (and with update to the release notes). -- View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/282#note_114219 You're receiving this email because of your account on gitlab.rtems.org.
_______________________________________________ bugs mailing list [email protected] http://lists.rtems.org/mailman/listinfo/bugs
