Re: [PATCH 01/11] widl: New option --rt for enabling rt's specific language extensions.

[Kai Tietz]

Hello,

I attached adjusted patch (including man-page entry).

Regards,
Kai