On Mon, Oct 29, 2018 at 11:40:41AM +0200, Matti Vaittinen wrote:

> Should I just create another patch to you where this inclusion is done again
> or is there some better way to handle this? Can you cherry pick or
> re-apply the commit

Just send another patch, it's easiest.