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