Subject: bug#6414: f->output_data.w32->menubar_widget uninitialized?

From: Juanma Barranquero <[email-masked]>
Date: Wed, 21 Sep 2011 22:44:40 +0200

On Wed, Sep 21, 2011 at 22:40, Lennart Borgman
<[email-masked]> wrote:

> Closing this will not help. I think it should be left open!

Obviously, having it open has not helped either.

    Juanma