On 2015-01-28 03:21, Michael Gilbert wrote: > There is a new sudo RC bug #776137 (not related to this issue). That > also needs fixing before an unblock will likely be granted. Thank you for pointing this out. I submitted a patch, but it still needs independent testing. Regards, Christian