Closed Tobias-Fischer closed 1 month ago
Fix #161
Actually nothing new is compiled, I guess as as part of this rebuild another version was already released.
Thanks for checking @traversaro - wrong channel was used in #161
Fix #161