On 22/10/12 01:50PM, Mike Gilbert wrote:
> You should reverse the order of these commits: add the profile
> directories first, and then add them to profiles.desc.
> 

Fixed in my local tree, thanks!