| Mon, 27 Feb 2023 14:15:14 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 27 Feb 2023 11:59:22 +0100 | wenzelm | proper log_lines, without protocol messages (amending cb3f5361fbca); | changeset | files |
| Mon, 27 Feb 2023 11:43:05 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 27 Feb 2023 11:19:16 +0100 | wenzelm | tuned messages; | changeset | files |
| Mon, 27 Feb 2023 11:02:07 +0100 | wenzelm | clarified error output vs. process_result stored in build_database (see also 13a0f537e232 and bff56eae3ec5); | changeset | files |
| Mon, 27 Feb 2023 10:26:36 +0100 | wenzelm | clarified system option: guard for testing, until the database layout has stabilized; | changeset | files |
| Sun, 26 Feb 2023 21:17:53 +0000 | paulson | merged | changeset | files |