Answer review comment about pooling in industry#217

dokempf merged 1 commit into

mainDE-RSE/2023_paper-RSE-groups:mainfrom

issue-170DE-RSE/2023_paper-RSE-groups:issue-170Copy head branch name to clipboard