Hi,

On Fri, 10 Jul 2020, at 19:13, Moritz Mühlenhoff wrote:
> Let's remove it for the upcoming 10.5 update, then?

Sure.

-- 
Cheers,
  Andrej

Reply via email to