Changes In Branch trunk Excluding Merge-Ins
This is equivalent to a diff from b9be77c869 to b9be77c869
|
2023-10-26
| ||
| 22:56 | typo Leaf check-in: b9be77c869 user: mario tags: trunk | |
| 21:45 | precautionarily rewrap PluginMeta (for e.g. manually constructed plugins={} list) check-in: 8082a94a20 user: mario tags: trunk | |