Re: credits

[Edwin Leuven]

> I was just wondering how whether the other frontends should honor this
> and how. Maybe not a very interesting problem...

In Qt it is easy to keep this...

> PS: and of course, I added you to the CREDITS file :)

Yet another shot at immortality ;-)

gr.ed.