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