Forgot to update this earlier, but the implemntation of this was posted in the merged bugrep: bugs.debian.org/cgi-bin/bugreport.cgi?bug=608840#27
Wookey -- Principal hats: Linaro, Emdebian, Wookware, Balloonboard, ARM http://wookware.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
