On 2/19/18 5:35 AM, Matthias Gerstner wrote:
I'm looking at integrating this. It looks
like this is an older list of
config options. I'm getting questions on:
What should these be?
we should keep them disabled for now: