Bug also raised in Debian upstream, http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=603104. Will contact DD to merge updated patch there as well.
Bug also raised in Debian upstream, http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 603104. Will contact DD to merge updated patch there as well.