[tei-council] Is the release going ahead?

[Martin Holmes]

I have on my calendar that it's release day, but I see lots of changes 
happening in the repo. Did it get cancelled? If not, shouldn't we have 
been frozen since last week?

Cheers,
Martin