tags 242866 + etch-ignore tags 243022 + etch-ignore tags 383403 + etch-ignore thanks Hi, AFAICS, all items needing clean up prior to etch are cleaned up now, so tagging these bug reports etch-ignore. Cheers, Andi -- http://home.arcor.de/andreas-barth/