On Mon, 22 Sep 2008 22:59:07 +0200 Sylvain Beucler wrote: > Maybe I missed something, but apparently the latest GNUJump is GPLv3+: > > 11/08/2008 GNU Jump 1.0.5 is out! > [...] > * Updated license to GPL v3 > > http://www.gnu.org/software/gnujump/ Well, that's what is written on the homepage and in the COPYING file in the tarball, but the headers of most source files still say GPL-2+ (only two files explicitly list v3+). Bas, what do you think? Regards