Marcus Brinkmann <Marcus.Brinkmann@ruhr-uni-bochum.de> writes: > > 1.0.40 3196381 Sep 27 15:19 gnome-libs-1.0.42.tar.gz > > and recompile. Will be done in no time. Don't worry. But only if it is > installed in the archive by now (last time I checked it was stuck in > incoming). I just uploaded 1.0.42. I believe 1.0.40 has gotten in the archive, though. 1.0.42 will probably get in tomorrow. Mike.