util  Changes On Branch trunk

Changes In Branch trunk Excluding Merge-Ins

This is equivalent to a diff from e02ae59ffd to e02ae59ffd

2024-07-10
19:11
ave julianus imperator Leaf check-in: e02ae59ffd user: lexi tags: trunk
19:07
periodic update check-in: f7c93df9f4 user: lexi tags: trunk