Wido, When we cut a 4.0.0 release build to vote on next, what exactly needs to change in the debian/changelog file to mark it as 4.0.0 "stable".
I'm not familiar enough with deb packaging to know what I'm looking at. We need to document that in a release process, as well as ensure that the artifact that we vote on has the right bits in the right places. Thanks! -chip
