re: #511 Interesting Times
That’s 3 months in trumptime.
There’s a whole lot of Friday’s in a week now.