Looks like this was uploaded.
FWIW, in future I find it easier to work with a debdiff between the Debian and Ubuntu versions - in this case between 3.10.1-1 and 3.10.3-ubuntu1.
Looks like this was uploaded.
FWIW, in future I find it easier to work with a debdiff between the Debian and Ubuntu versions - in this case between 3.10.1-1 and 3.10.3-ubuntu1.