Closed gabrielenava closed 3 years ago
Hi @gabrielenava, just to understand, there is anything blocking this PR?
Hi @gabrielenava, just to understand, there is anything blocking this PR?
no, I think we can merge!
Note for the future: we typically don't "Squash and Merge" PRs from devel to master, as the commits are typically already separated and reviewed when they land in devel.
I would like to make some additions to the WBC release 2.5
I will take care of the 2.5.1 release. First setp will be to align
devel
withmaster
.