Hello, Currently, there's no merge tool. Everyone agrees that we should have one, but noone's started working on it. --Kenny On Tue, 2007-08-14 at 14:36 +0200, Christian Boltz wrote: [...] > Is there a tool to merge profiles or do I have to use diff and patch? [...]