On 08/08/2017 06:44 PM, Moritz Mühlenhoff wrote: > 1.5 years later this hasn't changed, shall we now drop it? Actually there has been a change since upstream has cleared the license issues we raised. I still intend to update the package, but I don't mind if it has to go through the NEW queue. Emmanuel Bourg