Op ma 28 jan. 2019 om 17:57 schreef Marko Mäkelä <[email protected]>: > > Wow that was quick, thanks a lot! Got a link to the changes? > > https://github.com/MariaDB/server/commit/36be0a5aef0376c526d68007da1c11ac440f0d8b > > The cost is not that big. Unfortunately we do not have any common
That's much more than I expected. Perhaps it makes sense to handle this properly such that settings don't have to be removed entirely and compatibility with older conf files is improved. -- Olaf
