Hello...

I just wanted to mention that the PRs bin/4223, bin/4245 and lib/4234 can
be closed. They were related to errors that showed in ls and are fixed (at
least I can't reproduce them anymore).

Thx. for the good work.

Bye, Bjoern

-- 
Bjoern Labitzke   | E-Mail: hermit@cs.tu-berlin.de
PGP-Key available | Use PGP! Or don't you use envelopes for your letters?