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.
