| Sat, 15 Jul 2023 20:08:19 +0200 |
wenzelm |
potentially more robust: long-running operation only for build master, not workers;
|
changeset |
files
|
| Sat, 15 Jul 2023 19:55:32 +0200 |
wenzelm |
less ambitions transactions (amending 3f3dcf9f53f1): TRANSACTION_SERIALIZABLE may lead to spurious rollback exceptions;
|
changeset |
files
|
| Sat, 15 Jul 2023 19:34:48 +0200 |
wenzelm |
clarified signature: more operations;
|
changeset |
files
|
| Sat, 15 Jul 2023 14:06:53 +0200 |
wenzelm |
clarified signature: more operations;
|
changeset |
files
|
| Sat, 15 Jul 2023 13:38:01 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 14 Jul 2023 16:53:39 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 14 Jul 2023 14:56:48 +0200 |
wenzelm |
clarified signature: follow Store.open_database;
|
changeset |
files
|
| Fri, 14 Jul 2023 14:25:53 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 14 Jul 2023 14:21:22 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 14 Jul 2023 13:31:05 +0200 |
wenzelm |
clarified signature: more uniform SSH.Port_Forwarding;
|
changeset |
files
|
| Fri, 14 Jul 2023 11:11:06 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 16 Jul 2023 11:04:59 +0100 |
paulson |
X = trivial_topology rather than topspace X = {}
|
changeset |
files
|