On 07/10/2018 05:04 AM, Juergen Spitzmueller wrote: > commit d2afa67da91dd2371fd78516882f7f603fa4ab8b > Author: Juergen Spitzmueller <sp...@lyx.org> > Date: Tue Jul 10 11:01:49 2018 +0200 > > Fix creationCode() of GuiPrintNomencl > > This fixes "New Inset" in that dialog. > > Candidate for stable
Go ahead. Riki