| Wed, 07 Jun 2023 14:29:25 +0200 | wenzelm | back to more concise build_release, thanks to build_host_macos = "mini3"; | changeset | files |
| Wed, 07 Jun 2023 14:26:46 +0200 | wenzelm | more PLATFORMS; | changeset | files |
| Wed, 07 Jun 2023 13:02:40 +0200 | wenzelm | updated for release; | changeset | files |