Christian Mauderer commented on a discussion: https://gitlab.rtems.org/rtems/docs/rtems-docs/-/merge_requests/50#note_119198 Thanks. I'll update the merge request so that it can be applied again soon. I didn't prioritize that due to the release where that change wouldn't have been that useful. -- View it on GitLab: https://gitlab.rtems.org/rtems/docs/rtems-docs/-/merge_requests/50#note_119198 You're receiving this email because of your account on gitlab.rtems.org.
_______________________________________________ bugs mailing list bugs@rtems.org http://lists.rtems.org/mailman/listinfo/bugs
