[gnu.org #693634] GMP as dual-license GPLv2+/LGPLv3+?

[Karl Berry]

(Cc-ing gmp-devel.)

    Simon> [the idea] is to switch gmp from lgplv3+ to gplv2+|lgplv3+,
    so that gplv2-only applications can continue to use GnuTLS with GMP.

As I was one of the people who drafted that idea with rms, I feel
confident in saying that licensing change for gmp is fine --
solo lgplv3+ to the dual gplv2+|lgplv3+.

    I thought this was what this recent addition to the maintainers
    manual was about?
    http://www.gnu.org/prep/maintain/maintain.html#Licensing-of-GNU-Packages

Exactly.

Thanks,
karl