On 27.07.08, killermike wrote: > Jürgen Spitzmüller wrote: >> killermike wrote:
>>> I was unable to find any mention of this in bugzilla. >> http://bugzilla.lyx.org/show_bug.cgi?id=5053 > Damn. Sorry about that. I searched bugzilla without finding anything. I found, that the default settings of the bugzilla search does not include UNCONFIRMED bugs. This way, it is quite common to miss the most recent bug reports. Günter