| commit | c2b7224038a305ff250b428012b784602ae11d99 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Apr 06 11:13:54 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Apr 06 11:13:54 2010 +0000 |
| tree | 868703099efe0aa1dff6583fa9ab59925bf4093b | |
| parent | 530c48eeb34e1b4376a74355ad36a33d04e6a473 [diff] |
workaround for bug 307403, see bug 308182