On Fri, 2019-01-18 at 09:48 +0100, Aleksey Shipilev wrote: > Aside: does anyone use "optimized", and for what? +1. It's the first I've heard of it. How does one even build that config? Thanks, Severin