[blocker] serious memory problem with latest trunk

[Uwe Stöhr]

We have a serious memory problem in latest trunk Could somebody please have a look at the blocker 
bug 5010: http://bugzilla.lyx.org/show_bug.cgi?id=5010

thanks and regards
Uwe