| commit | 414c02c6828ecdc4b0f679a9d1f3722db423bcaa | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Mar 10 17:49:22 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Mar 10 17:49:22 2011 +0000 |
| tree | b1a2e59a2d1c74b1456d604b1f752876c9e40bd1 | |
| parent | 95a452af4a2019c788eccc5c90408fc89f8fe3d9 [diff] |
Implementation for Bug 338582 - consider optimization by avoiding the role cache