Just for the record....

I was asked by someone if the July 30th trading tade was a mistake or not, since the real trading deadline is July 31st.

I hadn't noticed - I just assumed it was the last day in July - But just for the record, if anyone else noticed or was wondering, it was a mistake.

I must have thought that there are only 30 days in July.