Hi guys I noticed some obsolete branches in the repository: cl_roam: is merged into master incremental2: is merged into stable tunnel: is merged into stable Can those branches be deleted? And if so, who'll do it? Henning? This also seems to suggest that the 'incremental' branch could be deleted? -- Ferry Huberts