Re: [PATCH] gcc: vxworks: fix providing stdint.h header

[Olivier Hainque via Gcc-patches]

> On 6 Dec 2021, at 04:05, Alexandre Oliva <ol...@adacore.com> wrote:
> 
> On Dec  3, 2021, Olivier Hainque <hain...@adacore.com> wrote:
> 
>> Alex, how does that look to you?
> 
> LGTM, thanks,

Great, thanks. I'll commit shortly and will soon start
proposing the batch of other changes I have been mentioning.

Some of this might not be stage 3 amenable, so maybe
commits will have to wait for the next stage 1. We'll see.

It will give Rasmus an opportunity to see what's coming, still.

Olivier