Re: [PATCH 04/11] widl: Handle default value for public vs hidden attribute.