Peter Kümmel wrote:
I've submitted this 9 days old patch:http://www.mail-archive.com/lyx-devel@lists.lyx.org/msg98096.html
Hello Peter,Looks good to me. You don't have to wait 9 days for committing. If it is obvious change, just commit the change (sending the patch to the list is appreciated). If it is less obvious but you have tested it and don't have any objection within a day or two, you can commit also.
Abdel.
