We switched from LGPL 2.1 to LGPL 3 between GMP 4.2.1 and 4.2.2. Did that cause any compatibility concerns for a project you know about, or are directly involved in? Have the problems been solved, or are they still relevant? [Please reply to the list, not just to me.] -- Torbjörn