Amar Takhar commented: 
https://gitlab.rtems.org/rtems/tools/rtems-tools/-/merge_requests/27#note_111741


We will wait for @chris to take a look at this before merging in case there is 
an alternate method we can use outside of reverting he knows these tools best.

-- 
View it on GitLab: 
https://gitlab.rtems.org/rtems/tools/rtems-tools/-/merge_requests/27#note_111741
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

Reply via email to