Remove the no-op -B option
[abcde.git] / KNOWN.BUGS
1 No serious ones ;)