Happy new year Simon. I have finally discovered bug#681961, which looks as if someone else is having the same problem that I am. If the offered patch is applied and solves the problem I will happily close this bug!
CC -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
