Admin/components/bundled
author wenzelm
Tue, 26 Sep 2023 14:29:55 +0200
changeset 78719 89038d9ef77d
parent 78630 93756069b867
child 78781 847739805b8d
permissions -rw-r--r--
more robust management of resources, using Thread_Attributes.uninterruptible;

#additional components to be bundled for release
naproche-20230902