On Mon, Jun 05, 2017 at 07:37:08AM +0200, Kornel Benko wrote: > Am Montag, 5. Juni 2017 um 03:50:47, schrieb Enrico Forestieri > <for...@lyx.org> > > On Sun, Jun 04, 2017 at 01:08:06PM +0200, Guillaume MM wrote: > > > > > Le 04/06/2017 à 02:27, Enrico Forestieri a écrit : > > > > On Sat, Jun 03, 2017 at 11:27:25PM +0200, Guillaume MM wrote: > > > > > > > > > I am wondering since this results in a different vertical spacing. > > > > > > > > No, this will not change the vertical spacing. > > > It actually does, as shown with diffpdf. > > > > I don't see any difference, > > Have you used diffpdf? > Here the snapshot of 'diffpdf -a'
The old code was wrong. -- Enrico