[dev] Groups and History?

Chuck Hagenbuch chuck at horde.org
Sat Jan 10 22:21:24 PST 2004


Quoting Carlos Pedrinaci <cpedrinaci at yahoo.es>:

> Indeed. Just wanted to reduce space usage.

We'll need a tool for managing histories anyway. Not just specific to this
usage. :)

> There is however a little thing I'd like to modify: when adding/removing
> a user I'd like to store also the user that was actually added or
> removed.
>
> Find enclosed a mini-patch for that. The patch does also delete the
> $userId param on getGUID as it is not needed anymore.

Both things I meant to do. :) Committed, thanks!

-chuck

--
Charles Hagenbuch, <chuck at horde.org>
"Here, I brought some cole slaw. It's made from peeeooople! Just kidding."


More information about the dev mailing list