| Thu, 17 Jan 2013 14:11:26 +0100 | wenzelm | more system-independent order of components.sha1 to keep changes monotonic; | changeset | files |
| Thu, 17 Jan 2013 12:04:52 +0100 | wenzelm | clarified Future.error_msg: slightly more robust id check, actually suppress displaced messages; | changeset | files |
| Thu, 17 Jan 2013 12:04:05 +0100 | wenzelm | delay to give users a chance to see what was happening, even with auto_close enabled; | changeset | files |