Thread:Extension talk:Translate/Unable to delete translation pages/reply

There's a fix in master, and this will be deployed on Wikimedia sites by 28 August, AFAIK.