Build Debian release file?

[Robert Goldman]

Is anyone out there willing and able to build the Debian library for 
3.3.5?  It's not something I am able to do myself.

Eric T -- is there any chance we could put the Debian build process into 
the CI?

That would be a big part of a solution, but would not be a *complete* 
solution, which requires pushing the new library to some magical Debian 
upload directory and signing it.  I could never get this to work 
satisfactorily.

Best,
R