Drop debian/patches/armv4.diff.
The armel baseline is armv5te now. See: - https://lists.debian.org/debian-arm/2017/11/msg00045.html - https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=882174
debian/patches/armv4.diff
deleted
100644 → 0
The armel baseline is armv5te now. See: - https://lists.debian.org/debian-arm/2017/11/msg00045.html - https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=882174
mentioned in commit a33ddd2b