| Fri, 12 Nov 2010 10:58:09 +0100 | wenzelm | Laze.force_result: more robust treatment of interrupts stemming from peer group cancellation; | changeset | files |
| Thu, 11 Nov 2010 19:58:07 +0100 | wenzelm | more precise treatment of deleted nodes; | changeset | files |
| Thu, 11 Nov 2010 18:55:17 +0100 | wenzelm | tuned error message; | changeset | files |