| commit | 5d7c15da69c3da7ec0bd197149bb77020d90f5ad | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Mar 10 17:49:45 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Mar 10 17:49:45 2011 +0000 |
| tree | 0b10d0fb8bc963f8286365bed081bd4a517e56e9 | |
| parent | c144cd3ab3e8aafd76ffe26b4de822049159a657 [diff] |
Implementation for Bug 338582 - consider optimization by avoiding the role cache