Summary of changes: 915d6ff... Add debian patch to fix FTBFS on ARM (*) ed26739... bump build (*) 50922c6... fix merge (*) This commit already existed in another branch; no separate mail sent