On 15/03/18 01:38, Stuart Henderson wrote: > On 2018-03-15, jungle boogie <[email protected]> wrote:
> > it doesn't say which December. > > (and I don't really see why 14/3/2018 would be "pi day"...) > > Pi = 3.14 ... Personally I think it should be 22nd July, in Britain. Pi =~ 22/7 :)
