On Mon, 18 Jun 2018 13:31:15 +0100, "Dave Plowman (News)"
wrote:

In article ,
AnthonyL wrote:
I don't recall noticing any issue with cars jumping the red.

You're very lucky round your way, then. Happens all the time these days.
Making it even slower for traffic waiting to turn right.


That was a big snip from what I was saying.

--
AnthonyL