On Tue, 12 Jul 2016 18:42:44 -0700, Lawrence D’Oliveiro wrote: > On Wednesday, July 13, 2016 at 10:58:14 AM UTC+12, alister wrote: > >> a US gallon is smaller than an Imperial Gallon a US Mile is shorter >> than an Imperial mile and probably most importantly (because it means >> they keep serving me short measures) a US pint is smaller than an >> Imperial Pint > > I thought everything was bigger in the USA...
well the us fluid ounce is bigger but the US pint is only 16 oz. that is why they keep giving me short measures unless I go to the correct places (The Pub in the Montecarlo Las Vegas offers both sizes :-) ) -- The more you complain, the longer God lets you live. -- https://mail.python.org/mailman/listinfo/python-list
