Re: [9fans] after a recent pull ...

[ron minnich]

Maybe this could be added to the contrib system.

contrib/pull with no args pulls all contribs that I already pulled
contrib/listlocal would list local contribs

ron