Changeset 780727f for Jenkins/Distribute

Timestamp:

Sep 15, 2025, 9:20:53 PM (5 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master, stuck-waitfor-destruct

Children:

4b465445

Parents:

8317671

Message:

harmonize user manual string discussion with string chapter

(No files)