From memory I don't think he mentioned her by name and didn't actually do anything with it - might have been a good use of that newsletter for once, instead he probably passed it up for yet another 3,000 word moan about a 300 word opinion column in the Times by someone he's professionally jealous of, as per!he deletes his tweets every so often. The JM tweets were probably collateral damage.
btw, he's only on 10 tweets so far today and it's almost 9am step it up Mic! (or more likely, he just woke up 10 minutes ago.)