Thu, 02 Mar 2023 17:46:29 +0100 | wenzelm | merged | changeset | files |
Thu, 02 Mar 2023 17:05:24 +0100 | wenzelm | clarified execution context: main work happens within Future.thread; | changeset | files |
Thu, 02 Mar 2023 16:39:42 +0100 | wenzelm | clarified timeout: closer to actual process; | changeset | files |