Workaround for compiler bug (GCC 4.8 and 4.9 when targetting 32-bit x86).
[BearSSL] / src / int / i32_div32.c
2017-01-29 Thomas PorninCosmetic fixes in comments.
2016-11-02 Thomas PorninInitial import.