Package: gnat-gps Severity: wishlist It seems that doc license has changed. But your patch does not mention that. Could you document both in patch and in copyright file ?
BTW could you provide override for the lintian error about gfdl problem? -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
