On Thu, 2015-12-31 at 12:31 +0100, Philipp Huebner wrote: > Hi, > > another bug has come up that would be fixed with this upload: #809424
Do you mean that #797645 and #809424 are the same bug? If so, is there a reason that they aren't merged? Regards, Adam
