Merged Git pools fixup from heptapod-17-6 branch.
Related merge request !112 to merge topic/default/refgeddon-pools
latest
merge request
5 jobs
4 minutes 0 seconds, queued for 6 seconds