Interface file is generated wrong

[Stanislav Blinov]

On Tuesday, 18 February 2014 at 10:07:37 UTC, Tolga Cakiroglu 
(tcak) wrote:

> Bug?

Yup.

> (I don't know if I should immediately file a bug when I think 
> it is a bug without asking what other people thinks.)

1) Do a seach in bugzilla
2) If the search doesn't show anything similar, file it
3) If it's not a bug, it'll be closed as such

That's it :)