> If there is no objections, I will submit a removal request 7 days later > (on Mar. 9, 2020).
it has already been filed: #952952 (not sure we should be act on it yet tho, see questions in that bug report) -- Sandro "morph" Tosi My website: http://sandrotosi.me/ Me at Debian: http://wiki.debian.org/SandroTosi Twitter: https://twitter.com/sandrotosi
