Merge pull request #24081 from mhei/fix-buildbots-for-gensio
authorMichael Heimpold <mhei@heimpold.de>
Sun, 5 May 2024 14:17:16 +0000 (16:17 +0200)
committerGitHub <noreply@github.com>
Sun, 5 May 2024 14:17:16 +0000 (16:17 +0200)
commit7410fe81889968b704b65115101ff1ee81b074cb
tree3d43a7cb921b7eedab31f511cb9a6e01db3a37ea
parentc1b3e0440f67bcec101a3f72525f9c90eb4e6497
parentecef65b3c464aa4b74da9249ca472cc2594b387d
Merge pull request #24081 from mhei/fix-buildbots-for-gensio

gensio: add patch with workaround for buildbots (refs #24047)