From: Kirill A. Korinsky <kirill@korins.ky>
Subject: Re: devel/javahelp: Time to remove?
To: Kurt Miller <kurt@intricatesoftware.com>
Cc: ian@openbsd.org, ports@openbsd.org
Date: Wed, 17 Dec 2025 19:46:00 +0100

On Wed, 17 Dec 2025 17:25:12 +0100,
Kurt Miller <kurt@intricatesoftware.com> wrote:
> 
> Do we need this port? Upstream's new location is:
> https://github.com/javaee/javahelp
> 
> Develoment stopped in 2011 and in 2017 a new license added.
> The project has been archived since 2019. Ports that use
> javahelp distribute it as an embedded jar file.
> 

I doubt that anyone can use it these day... So, yes, let's remove it.

-- 
wbr, Kirill