Here is the resulting diff (quick hack, didn't change the version number, still 1:0.7.2-0ubuntu7, but I'll try to make a perfect patch soon.
Here is the resulting diff (quick hack, didn't change the version number, still 1:0.7.2-0ubuntu7, but I'll try to make a perfect patch soon.