On 1/24/2014 02:32, Corinna Vinschen wrote: > Nothing to worry about I guess. I posted mainly for the maintainers, who may want to change their setup.hint files before their next upload.