Re: [3/7] widl: Ignore assignment of a duplicate uuid. Resend.