On 28 October 2013 12:17, Jakub Wilk <jwilk@debian.org> wrote: > Done. > #724749 > #720031 > #723665 > #720036 > #720029 > #720030 > #724974 > > -- > Jakub Wilk Jakub, Thanks for pointing these out - sorry, should have checked before posting. The remainder have now been filed. Jenny