Commit 7039803b51f23cb15dd7e12b105c379bd2e38d71

Behdad Esfahbod 2018-02-10T15:47:50

Fix djgpp bot