On Sun, Jul 08, 2012 at 12:07:38PM -0400, Luis Ibanez wrote:

> We could, equally arbitrarily use version "30.0"...
> 
> or use the number "2012" as a year ?

This might actually be an idea given TexLive20xx

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]

Reply via email to