On Tue, May 7, 2019 at 1:25 PM Gert <gert...@gmail.com> wrote: > Hello, > > If the plan is to remove it in 8.0, then i'd say its beneficial to already > deprecate it in 7.4. This will give users an earlier warning that these > upgrades need to happen.
We should definitely deprecate it before removing it, if we decide to remove it. This has been our modus operandi for years and it's a good one - especially here, where folks who rely on it for (even some level of) security would have a lot of work on their hands to come up with a different solution for isolation. Zeev
