> Misrepresenting the actual statement this way is garbage. There's a world of difference in the two statements.

That's debatable. What's not debatable is that not giving OP credit for the fix is disrespectful and bordering on plagiarism.

Even if OP's patch wasn't as good as the final one (and giving OP feedback + time to improve their patch themselves isn't an option for some reason), not giving him credit is wrong. This bug would have remained were it not for his effort debugging and developing a fix, and his company investing the development time on it.