Stéphane Glondu writes: I've just noticed that there are files under CC-BY-NC-SA-3.
Upstream has just changed the license to CC-BY-SA-3, see http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/ProofGeneral/file/be73425fbe77/images/README Therefore the issue is probably not pressing any more for proofgeneral-3.7-4 Bye, Hendrik -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20237.35601.928292.532...@blau.inf.tu-dresden.de
