Skip to content
Back to pull request #1923

clock_gettime should return CInt, not void #6789

Sign in to view logs

clock_gettime should return CInt, not void

clock_gettime should return CInt, not void #6789

This job was skipped