Subject: Re: bug#42759: Flint license is wrong
From: Tobias Geerinckx-Rice <[email-masked]>
To: Max Horn <[email-masked]>
Cc: [email-masked]
Date: Sat, 08 Aug 2020 21:12:58 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hah,

Tobias Geerinckx-Rice 写道：
> I opened an issue[0] upstream earlier today but no reply yet.

Naturally, as soon as I send this, I get a notification this will 
be fixed upstream.[0]

I'll add a comment to our flint package that the licence can be 
changed to LGPL-2.1+ on the next FLINT release.

Thanks!  Closing,

T G-R

> [0]: https://github.com/wbhart/flint2/issues/812