~~4.0.0-8 is now in the debian archives. Merging that.~~ EDIT: this comment made it's way in the wrong bug report. Ignore it.
~~4.0.0-8 is now in the debian archives. Merging that.~~ EDIT: this comment made it's way in the wrong bug report. Ignore it.