Skip to content
Prev 53924 / 63421 Next

[PATCH] Fix missing break

Hello Martin,
On Friday, July 21, 2017 4:21:21 AM EDT Martin Maechler wrote:
Thanks. Is that the preferred method of transferring these patches?
That's what it's all about.  :-)
Absolutely. I weeded the report down to 15 issues to start with. There are 
also ways to annotate the code so that checkers dismiss something it would 
otherwise be inclined to report.
I apologize if that is the way it came across. "That's a shame" can also mean 
"That's unfortunate" because I was thinking that I spent some time fixing up 
patches that might not be wanted. However, I see that you have looked at the 
patches and I thank you for that.  :-)

The second sentence above is an honest offer. I'd be happy to send the output 
of the report off list (in case anything sensitive is listed). In this and the 
other patches I haven't sent, I'm just picking the low hanging fruit.

-Steve