Chris Johns pushed new commits to merge request !720 Merge request URL: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/720
* d27c444b - 1 commit from branch `6` * a79d702b - rtems: Add rtems_barrier_get_number_waiting() -- View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/720 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
