Am Mo., 7. Jan. 2019 um 17:19 Uhr schrieb Richard Kimberly Heck < rikih...@lyx.org>:
> > > Riki, this is a candidate for stable (together with c9dd349bee71d). > > OK. > Thanks, done. Scott, Kornel, the fixes to the Korean splash could now also be backported. Jürgen > > Riki > > >
