Hi Bernhard, > No, thats fine if you don't mind dups.
I'd prefer no dups too, but I think the ordering is more important. We could always add a warning if necessary, but I think it's okay for now. Cheers, Jeremy _______________________________________________ Patchwork mailing list [email protected] https://lists.ozlabs.org/listinfo/patchwork
