2022-08-19 - tools.pbbot
15:47	<wm-bot>	<peterbowman> Drop 'responsive' attr in pretty-ref (6c67330), bump Jetty to 10.0.11	[tools.pbbot]