Tested with Aurelien's debian wheezy image for mips64.

The third patch is just to improve the diff--saves about 20%
of diff lines in patch 4, but feel free to squash it with the latter.

Thanks,

                Emilio


Reply via email to