Merge v4.1.1 to develop

update develop branch with new pantools version v4.1.1

assigned to @worku005

added 3 commits

• b72558aa - release v4.1.0 including optimized construction
• c775d4ad - Merge branch 'release_v4.1.0' into 'pantools_v4'
• 17a54378 - merge pantools_v4 into release_v4.1.1

Compare with previous version

requested review from @roel.vanesch

approved this merge request

enabled an automatic merge when the pipeline for 17a54378 succeeds

mentioned in commit 6fb6287b

merged