Am Mittwoch, den 20.11.2019, 14:01 -0500 schrieb Richard Kimberly Heck:
> On 11/20/19 7:52 AM, Juergen Spitzmueller wrote:
> > commit 772f2a28414dae7765486ad7aff042e4299c7fb7
> > Author: Juergen Spitzmueller
> > Date: Wed Nov 20 14:07:05 2019 +0100
> >
> > GuiSelectionManager: fix
On 11/20/19 7:52 AM, Juergen Spitzmueller wrote:
> commit 772f2a28414dae7765486ad7aff042e4299c7fb7
> Author: Juergen Spitzmueller
> Date: Wed Nov 20 14:07:05 2019 +0100
>
> GuiSelectionManager: fix getSelectedIndex for availableLV
Fine for stable if needed.
Riki
--
lyx-devel mailing