Btw, Martin, regarding the migration. When should we remove the bazaar repositories? I guess they should be removed to avoid confusion. -- Happy hacking Petter Reinholdtsen