...

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