| commit | 3d26b9c1ca9bdb5ce74e384a3791a0993555b8b5 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Wed Dec 29 11:49:46 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Wed Dec 29 11:49:46 2010 +0000 |
| tree | ff863e19a8759e7914907de96b517e2054e31542 | |
| parent | 6bad8a627a3e2e0952c9027561c681ed448df2e0 [diff] |
more robustness to avoid three exceptions observed in ReportedBugs under otredyn.