[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Mon, 14 Sep 2020 19:12:58 +0200
Thank you for your inputs.
On Mon, 14 Sep 2020 at 18:56, Ricardo Wurmus <email@example.com> wrote:
> The source code has disappeared and the home page says that it’s
> I’m not opposed to adding it, though perhaps not in its own module.
> But if the only person interested in adding it no longer cares about it,
> I think we can close this issue.