| Sat, 11 Nov 2023 20:13:23 +0100 | wenzelm | build cluster host specifications are based on registry entries (table prefix "host"); | file | diff | annotate |
| Wed, 08 Nov 2023 13:14:59 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 08 Nov 2023 13:00:24 +0100 | wenzelm | more accurate treatment of surrounding whitespace; | file | diff | annotate |