fix build on MIPS
authorRalf Jung <post@ralfj.de>
Tue, 25 Dec 2018 17:51:23 +0000 (18:51 +0100)
committerRalf Jung <post@ralfj.de>
Tue, 25 Dec 2018 17:52:11 +0000 (18:52 +0100)

No differences found