On Wed, Feb 15, 2012 at 09:45:51PM +0100, Andreas Tille wrote: > As far as I understood the resulting C files only work for a specific > version and not for an upgrade.
Regardless of whether that is actually the case - you are right, this is quite possible. Even if it would simply be that later Mumps could generate slightly more optimized C source. > So there remains some difference between what we are doing now and what > we can do once fis-gtm has entered Debian - at least this is my > understanding of the issues. I agree. Karsten -- GPG key ID E4071346 @ gpg-keyserver.de E167 67FD A291 2BEA 73BD 4537 78B9 A9F9 E407 1346 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

