On Wed, 13 Jul 2016 08:57 am, 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
That's okay, they charge you more to make up for it being smaller. -- Steven “Cheer up,” they said, “things could be worse.” So I cheered up, and sure enough, things got worse. -- https://mail.python.org/mailman/listinfo/python-list
