Hi, > thanks for the patch. > I have committed it already to HEAD. Ta. Is it okay for this to go into BRANCH as well (which is what debian is packaging)? b.