Re: tmpdir problem

[rgheck]

Bennett Helm wrote:

On Thu, Jul 24, 2008 at 5:20 PM, Abdelrazak Younes <[EMAIL PROTECTED]> wrote:

It seems this fixes bug 5085 (at least I'm not seeing the problem there

anymore):

http://bugzilla.lyx.org/show_bug.cgi?id=5085

Could you take a look and close it if appropriate?

Done.

rh