I agree, but would this shift from 0.7.1 to 0.7.2 be accepted? This is a minor version change, but this version mismatch the result of a problem with sync with Debian (dependencies should be fixed for next version, I'll report that to them).
I agree, but would this shift from 0.7.1 to 0.7.2 be accepted? This is a minor version change, but this version mismatch the result of a problem with sync with Debian (dependencies should be fixed for next version, I'll report that to them).