Oddbean new post about | logout
▲ ▼
John Carlos Baez | 1 years ago (raw) | root | parent | reply | flag 
 @272b0b05 - right, thanks!  Fixed.

 @af6bf358