Fix the DiffFlag type
This change makes the underlying type of DiffFlag be uint32 instead of
int. That makes it possible to build on 32-bit systems.
Fixes: #487
(cherry picked from commit 93c4c5b30a
)
This commit is contained in:
parent
1c82797e35
commit
f4a3dd4cc7