Closed laurenceisla closed 1 week ago
Make sure to back-port this to the v12 branch, once you're done.
@wolfgangwalther Just to confirm, cherry-picking and merging to v12 should be enough, right?
Github CI is failing https://www.githubstatus.com/
Update - Customers may see issues running Actions Jun 11, 2024 - 20:34 UTC
@wolfgangwalther Just to confirm, cherry-picking and merging to v12 should be enough, right?
Yes, correct.
Adds missing docs for new logging features.