Re: [9fans] git on plan9

[Russ Cox]

> does the git extension *require* bookmarks?

yes.

and it wouldn't surprise me if the extension
uses API functions new since 1.0.2.
if you're going to bother bringing in a new
version, you might as well pull in 1.3.
but 1.2 would have worked.

russ