[PATCH] hgweb: short hash for tip archive name

[Alexis S. L. Carvalho]

Thus spake Christian Ebert:
> # HG changeset patch
> # User Christian Ebert <blacktrash at gmx.net>
> # Date 1173788246 -3600
> # Node ID cb19ec1787ca76d14ea2fc100a02f1e26423f820
> # Parent  7ca05d29c1f06d53b347c468bb113027f4d8dc41
> hgweb: short hash for tip archive name

I've finally pushed this to crew.

Thanks and sorry for the delay.

I wonder if we also want to force the short hash if the revision asked
for is a branch name...

Alexis