Chris Johns pushed new commits to merge request !585
Merge request URL: 
https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/585

* f00a8192...6030917d - 2 commits from branch `main`


-- 
View it on GitLab: 
https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/585
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

Reply via email to