On 20/05/19 18:39, Nadav Amit wrote: > I’m sorry for not collecting the patches into a set, but I know that it > would just cause me to resend all of them for individual patch issue. All the patches you've sent make sense individually. Thanks to you (and the corporate overlord ;)) for doing the work and for sharing it, really. Paolo
