Hi all, It has been reported, and I agree with that, that we don't thank contributors, patchers as we should. but the question is, how should we do that. We ahve a THANKS file in our sources, but if we put all contributors in this file, it will become huge, no? Another option could be a page on trac? What do you think? -- Yann