Re: Remove www/wml?

[Klemens Nanni]

On Sat, May 04, 2019 at 04:01:18PM +0200, Jeremie Courreges-Anglas wrote:
> Given those reasons, I propose to delete this port.  ok?
> 
> (Of course if someone uses this, takes over maintainership and updates
> it to the latest version then it can be kept/re-added to the tree.)
I concur.  OK to remove unless you hear from someone.