On Wed, Aug 5, 2020 at 10:34 AM Chris Johns wrote:
>
> On 5/8/20 1:52 am, Vijay Kumar Banerjee wrote:
> > Hi Chris,
> >
> > Is this patch OK to push to the master?
>
> Yes, please push. I am sorry about the slow review.
>
Thanks for the review. Pushed.
> Thanks
> Chris
__
On 5/8/20 1:52 am, Vijay Kumar Banerjee wrote:
> Hi Chris,
>
> Is this patch OK to push to the master?
Yes, please push. I am sorry about the slow review.
Thanks
Chris
___
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
Hi Chris,
Is this patch OK to push to the master?
On Thu, Jul 30, 2020 at 3:51 PM Vijay Kumar Banerjee wrote:
>
> ---
> wscript | 5 -
> 1 file changed, 4 insertions(+), 1 deletion(-)
>
> diff --git a/wscript b/wscript
> index 3ca9478e..74fc1f48 100644
> --- a/wscript
> +++ b/wscript
> @@ -