The BBC is not mentioning the punch.
http://www.bbc.com/news/uk-politics-37572377
http://biasedbbc.org/
Biased BBC will surely eventually be carrying how this is covered.
It is being discussed in the comment section of the open midweek thread.