2009/6/8 L. David Baron <[email protected]>: > On Monday 2009-06-08 16:28 +0200, Giovanni Campagna wrote: >> That diff file includes changing "paddings" into "puddings" (the first >> difference) > > Oops, thanks. I meant to change both occurrences of "paddings" to > "padding". Here's a corrected diff.
Actually, why do you want that? It is not correct to say "padding are" (singular noun, plural verb), so either "padding is" or "paddings are". Paddings are two, top and bottom, so IMO "paddings" was correct. Giovanni
