On Wed, 6 Feb 2019 17:24:45 +0100 (CET) Miroslav Benes <mbe...@suse.cz> wrote:
> > No worries. I'm also in holiday mode. I marked the patch in my INBOX > > and hopefully when I'm back to work it's not buried and lost for months. > > > > Even if it is, I periodically purge my INBOX where I find missing > > patches like these ;-) > > > > So if it's not applied in a couple of weeks, just ping me about it. > > Gentle ping... Thanks for the reminder. My INBOX blew up again, and this was lost in the noise once more. I'll take a look at it today. -- Steve
