| Fri, 25 Apr 2014 10:51:57 +0200 | wenzelm | more explicit checks; | changeset | files |
| Thu, 24 Apr 2014 23:21:00 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 24 Apr 2014 23:13:17 +0200 | wenzelm | more uniform warning/error handling, potentially with propagation to send_wait caller; | changeset | files |