1:08 PM
4 hours later…
5:30 PM
@MartinSleziak thanks for the ping. I think the arXiv website was down temporarily. I ran the script again just now, and the edit looks OK: mathoverflow.net/posts/40328/revisions
« first day (3087 days earlier) ← previous day next day → last day (834 days later) »