Minor packaging changes.
[abcde.git] / KNOWN.BUGS
1 No serious ones ;)