projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c1b3e04 ecef65b)
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)
gensio: add patch with workaround for buildbots (refs #24047)


Trivial merge
Mirror of packages feed