>>> The patch looks fine to me. >> >> Since no one objects, could someone accept this patch into CVS? > >I've been intending to do so, but haven't managed to get that far down >on my TODO lists yet. You have time to make TODO lists? Lucky fella!