On 03/07/2016 09:57 PM, Paul Eggert wrote:
> This should be safe nowadays.

Was this a joke about CVE-2015-7547? https://access.redhat.com/articles/2161461 :)