Yes that is right, sorry for not reading carefully. :-)
On Mon, Nov 20, 2023, at 10:30 AM, Pavel Sanda wrote: > On Mon, Nov 20, 2023 at 10:08:23AM -0500, Alexander Dunlap wrote: > > By "the behavior you describe" I also meant what happens when I apply the > > fix. :-) > > I didn't describe behaviour of the step 2, but I'll interpret this exchange, > as "the patch works" :) > Pavel > -- > lyx-devel mailing list > lyx-devel@lists.lyx.org > http://lists.lyx.org/mailman/listinfo/lyx-devel >
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
