f5bbd3f9bc2ffb76e358c26c1e2d1d863da6d3d6	not-for-merge	branch 'main' of ssh://gitlab.spec.de:2424/development/software/externals/dir_ostools
