On Thu, Oct 11, 2018 at 3:02 PM Jeremy Bicha <jbi...@debian.org> wrote: > Would it be ok if I uploaded to Debian from your git repo if we do need it?
I have absolutely no problems with that. :) I'm done with my changes for now. Feel free to cut the release whenever you need it. Joseph
