Merged. Thank you.

On Thu, Dec 13, 2018 at 1:25 PM Himanshu Sekhar Nayak <
[email protected]> wrote:

> Hi guys,
>
> Here is the patch for minor fix in psxhdrs.
>
> Thanks
> Himanshu
> _______________________________________________
> devel mailing list
> [email protected]
> http://lists.rtems.org/mailman/listinfo/devel
_______________________________________________
devel mailing list
[email protected]
http://lists.rtems.org/mailman/listinfo/devel

Reply via email to