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... -- https://mail.python.org/mailman/listinfo/python-list
