Use uint32_t for 32bit number
- avoid size changing on different architectures (64bit vs 32bit etc)
Authored by: Konstanty Bialkowski 2014-02-03
Parent: [309d53]
Child: [360229]