Baptiste Thu, 05 Oct 2017 14:28:37 -0700
I also fixed it in a patch set to make the resolution pool dynamic :)
Baptiste