chiark / gitweb /
Merge pull request #988 from rcarmo/debian_armhf
authordaid <daid303@gmail.com>
Mon, 20 Oct 2014 08:23:36 +0000 (10:23 +0200)
committerdaid <daid303@gmail.com>
Mon, 20 Oct 2014 08:23:36 +0000 (10:23 +0200)
Working armhf build on ODROID-U3 running Ubuntu 14.04.1


Trivial merge