Re: [GIT PULL][PATCH 0/2] Few timekeeping items for 4.19

[Thomas Gleixner]

John,

On Thu, 12 Jul 2018, John Stultz wrote:

>   I had a few other items in my stack here, but you've already
> queued them in -tip, so here's what I have left.

Did I miss you replying on them that you picked them up? Normally when I
see that you or Daniel picked something up I happily move the mails to the
done folder unless I see something horrible.

> Let me know if you have any objections or feedback for change.

One small request for the next pull request. Please write a short summary,
optionally in a tag, then pulling the tag adds it to the merge commit message.
But plain in the pull request mail is fine as well.

Thanks,

	tglx