Re: [PPL-devel] merging hulls