>> Am I supposed to push the patch set to git?
>
>Currently I'll be a few hours away from the computer, so I will 
>not be able to 
>promptly deal with any necessary corrections to the Debian/Ubuntu 
>packaging files.

Your reply implies I should push the patches to git. That's fine, 
just let me know when you are ready and we'll coordinate.

I'm not seeing anything here to indicate problems with the patches, 
but of course, I only use one distro. Regardless, there should not 
be any major problems, if any at all.

Darrell