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

Reply via email to