Annotation API doc change: it's not advised anymore to use short revs (as they're probably not always unique identifiers in all backends). Instead, we call `Repository.short_rev` where appropriate (see also #3533).
Authored by: cboos 2007-01-26
Parent: [r4639]
Child: [r4641]
