> The package was actually built some weeks ago when no release existed
> yet (hence the snapshot version number). I only put it live now,
> because I had forgotten about it.
Is it a good idea to build original 1.7.2 again? Some people might
want to stay on the latest 1.7 release for a while even after 1.8
package is built.