We release the tools 5.2.0, but now release for the docs. Maybe it's time to release new docs. If I remember correctly we decide that docs released together with tools.
Could help with release, but don't see any docs on that.
We release the tools 5.2.0, but now release for the docs. Maybe it's time to release new docs. If I remember correctly we decide that docs released together with tools.
Could help with release, but don't see any docs on that.