Ok, there's one last change in the debian packaging in this branch: it resolves bug #121182. I'd like some review to make sure I did that in the right way.
Ok, there's one last change in the debian packaging in this branch: it resolves bug #121182. I'd like some review to make sure I did that in the right way.