| Tue, 28 Feb 2023 17:16:50 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 28 Feb 2023 17:12:39 +0100 | wenzelm | simplified somewhat pointless error message (see also 0189fe0f6452); | changeset | files |
| Tue, 28 Feb 2023 16:25:23 +0100 | wenzelm | clafified signature: simplify object-oriented reuse; | changeset | files |
| Tue, 28 Feb 2023 14:20:57 +0100 | wenzelm | revert pointless 375c6b9ce9ea: overall thread context is already uninterruptible (see 54ac957c53ec); | changeset | files |