Add citus.local_shared_pool_size#989

onderkalaci wants to merge 2 commits intomastercitusdata/citus_docs:masterfrom

add_local_pool_sizecitusdata/citus_docs:add_local_pool_sizeCopy head branch name to clipboard