Open AndreaPiovanelli opened 4 months ago
Please merge the latest 1.10.x to fix the build error.
@AndreaPiovanelli @MatteoPiovanelli-Laser would you like to continue working on this or #8746?
I've rebased this one as well. At this point I'm just hoping either of the PRs passes github's checks
This should replace #8746 starting from the up-to-date 1.10.x branch.