[mem.res.pool.overview] Fix indentation#8940

Andreas-Krug wants to merge 1 commit intocplusplus:maincplusplus/draft:mainfrom

Andreas-Krug:patch-980466Andreas-Krug/draft:patch-980466Copy head branch name to clipboard