Closed eval closed 1 year ago
Thanks. Does the other one need to be propagated to the user guide branch still? If so, which change?
Ah, I found which one. And both needed to be applied to the new guide-1.8.0
branch. I’ll trigger a manual rebuild of the guide now that these have been merged and cherry-picked back. Thanks again!
These were actually relevant to all of the user guide branches, so I cherry picked the commit to all of them.
Some small fixes in the documentation.
One fix was done earlier but only applied to a guide-X-branch, and not applied to the mainline.