1. 2008-04-29 Re: [patch] fix bug 4807 for branch lyx-devel Jürgen_Spitzmüll 2. 2008-04-29 [patch] fix bug 4807 for branch lyx-devel Uwe Stöhr