Minor RBS fixes

Sat Apr 22 20:12:32 UTC 2023

Other than my comment about making sure any new options are properly
documented, I am ok with this series.

On Sat, Apr 22, 2023 at 12:23 AM <chrisj at rtems.org> wrote:

> Hi
>
> These patches fix a few minor issues in the RSB.
>
> Chris
>
> _______________________________________________
> devel mailing list
> devel at rtems.org
> http://lists.rtems.org/mailman/listinfo/devel
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230422/467e0397/attachment.htm>