Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
suppress coverity error #10417
This is only a comment that suppresses a coverity error. Constant may change in the future and that is what the check is for so complaining about it being a pointless comparison now is incorrect.
Pull request type