* Jan Beulich <jbeul...@suse.com> wrote:
> >>> On 20.02.18 at 09:37, <mi...@kernel.org> wrote:
>
> > * Jan Beulich <jbeul...@suse.com> wrote:
> >
> >> I'll see what I can do; it's a pity that the change here, which had
> >> been sent weeks ago and is a bug fix, hadn't gone in before that
> >> other change (being more an improvement than a bug fix).
> >
> > When was it submitted, got a link or Message-ID of the previous submission?
>
> On Dec 12th (https://patchwork.kernel.org/patch/10106593/).
Indeed! There was a bit of a back and forth in the submission, with v2 and v3
patches sent for the #1 patch, which combined with the whole Meltdown/PTI mess
that was in overdrive during the holliday season just made us miss this...
Next time anything like this happens just ping the original thread and I'll
pick
it up. (But a resend is fine too, of course.)
I assume the Xen fix got merged meanwhile?
Thanks,
Ingo
