Hello - been a while since I submitted my patch for https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=814670 Has anyone had a chance to look over the bug and the proposed fix? Any comments on it (acceptable, needs further fixes, not a chance, etc?)