Re: [patch] new InsetCommandParams

[Michael Gerz]

Jean-Marc Lasgouttes wrote:

Also, Michael, you should not change CREDITS directly, but edit
generate_contributions.py. I propagated your latest change.
 

Thank you very much! (You must be watching the svn logs very very 
carefully.)

Michael