I kept the last change as two commits, for easier review: one reverts the debian change, and the other adds the new check. Were it just one commit, most of it would be indentation changes.
« Back to merge proposal
I kept the last change as two commits, for easier review: one reverts the debian change, and the other adds the new check. Were it just one commit, most of it would be indentation changes.