On 08/17/2017 09:01 PM, Felix Natter wrote: > --> So what do I do with #870103, which is grave, but is not > reproducible and it seems it does not affect all users? Downgrade the severity to important. Kind Regards, Bas -- GPG Key ID: 4096R/6750F10AE88D4AF1 Fingerprint: 8182 DE41 7056 408D 6146 50D1 6750 F10A E88D 4AF1