Reply to Thomas, > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > It should always be up-to-date. I simply forgot to push the lasted > batch from my local mirror to the public one. > > Thomas Wow, I guess I'm not the only one who does that kind of thing. <g>