On Wed, Apr 18, 2018 at 03:57:23PM +0200, Maciej S. Szmigiero wrote: > So, should this patch be included in a respin or not?
Yes please. Do them all ontop of tip/master. -- Regards/Gruss, Boris. Good mailing practices for 400: avoid top-posting and trim the reply.