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, but, if it is so, then the commit corrected
another bug. If there is no size change between paragraphs, adding
{\small\par} is gratuitous.
--
Enrico
