Jürgen Spitzmüller wrote:
> > Jurgen will know what to do, I hope: The change is needed in
> > GuiDocument::loadModuleInfo().
>
> Yes, I have a fix in the pipe.

Should be fixed now (rev. 27248).

Jürgen

Reply via email to