Many bug fixes went into this update:
[abcde.git] / KNOWN.BUGS
1 No serious ones ;)