Re: [arch-dev-public] Error merging opera-devel