| Thu, 15 Sep 2022 11:35:47 +0200 | wenzelm | proper order of platforms, to make it work uniformly on all plaform families; | changeset | files |
| Wed, 14 Sep 2022 23:58:26 +0200 | wenzelm | more portable; | changeset | files |
| Wed, 14 Sep 2022 23:09:02 +0200 | wenzelm | build both arm64-darwin and x86_64-darwin on Apple ARM hardware; | changeset | files |