btw no idea why this patch became 7/7. I did not use -n in format-patch (but indeed I am 7 patches ahead the first 5 then an unnumbered one (which is independent of the earlier ones) and this one (which is again independent of earlier ones. Ah well, the mysteries of git I assume. Frans