Skip to content

Cherry-pick MR!223 into master

Eduardo Rodrigues requested to merge cherry-pick-293d787f into master

quick fix on comparison between signed and unsigned integer

See merge request !223 (merged)

(cherry picked from commit 293d787f)

d3a686b7 quick fix on comparison between signed and unsigned integer

Merge request reports