sorry for the lack of reply, I have been traveling for the last 1.5 weeks. I'll try to look at this weekend. Feel free to NMU if you need a faster solution.
-- To UNSUBSCRIBE, email to debian-arm-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/546d16c5.9080...@googlemail.com
