Re: [PATCH 00/15][ANNOUNCE] 3.18.117-rt105-rc1

[Tom Zanussi]

Hi Sebastian,

On 8/3/2018 2:32 AM, Sebastian Andrzej Siewior wrote:
> On 2018-08-02 17:25:15 [-0500], Tom Zanussi wrote:
> > Please scream at me if I messed something up. Please test the patches
> > too.
>
> The series claims to have 15 patches and I see only the first 10 (in my
> inbox, rt-users and linux-kernel).

Yeah, my script was broken and didn't send the last third - resent. 
Thanks for letting me know,

Tom

> > Enjoy!
> >     
> >     Tom
>
> Sebastian