Is there a place to store "who did what", to keep track of copyrights?
More exactly, where do I add Aaron S. Hawley mentionning that he contributed patches to 'frontend/php/faq/export_texinfo.php'? Is AUTHORS the right place? That one carries the "who", but give very general information on the "what". -- Sylvain
