On Fri, Nov 13, 2015 at 11:40:09AM +0000, Bruce Richardson wrote: > I don't think this patch is necessary, as all it adds is a single extra line > to > a comment. > > /Bruce
This one was previously merged. So indeed we can toss it. This is what happens when you are restricted to 1 AM coding. Matthew.
