RTEMS Source Builder | rtems: Update tools to fix #13 (closed) console.open() (!55)

[Joel Sherrill (@joel)]

Merge request !55 was merged
Merge request URL: https://gitlab.rtems.org/rtems/tools/rtems-source-builder/-/merge_requests/55
Project:Branches: frank_k/rtems-source-builder:test-fix-of-tools#13 to rtems/tools/rtems-source-builder:main
Author: Frank Kuehndel

-- 
View it on GitLab: https://gitlab.rtems.org/rtems/tools/rtems-source-builder/-/merge_requests/55
You're receiving this email because of your account on gitlab.rtems.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/bugs/attachments/20240905/2d78faa9/attachment.htm>