On 09.11.2017 17:23, Roberto C. Sánchez wrote: > If you could install the updated package referenced in the bug and > confirm that it resolves the problem for you, that would be helpful. I > intend to upload the updated packages in a few hours. I just tested 7.0.28-4+deb7u17 and it indeed fixes the problem for me. Many thanks! Felix