Thanks for the report.

For completeness: Do you have any idea about what we could do with the non-GNU licenses? (regarding copyright, that is).

Reply via email to