Thanks very much for reporting this Tobias. I will have a fix coming for the Ubuntu package. We use apt dist-upgrade in our upgrade tests which won't uncover this.
Thanks very much for reporting this Tobias. I will have a fix coming for the Ubuntu package. We use apt dist-upgrade in our upgrade tests which won't uncover this.