Your patch is correct but insufficient. Apparently in the 3.4 release upstream worked around the bashisms in /usr/sbin/micro-evtd.event and /usr/sbin/microapl by changing the shebang to /bin/bash; it was /bin/sh in both in 3.3.3. I feel pretty stupid for missing all of this; I was sure I tested installing from the 3.4-1 udeb before uploading but I don't see how that could have worked, unless d-i included a /bin/bash at some point. I will have to patch out the remaining bashisms in the scripts. I won't be able to work on that before this weekend. Thanks again for bringing this to my attention.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org