Hi,

On Sat, Feb 15, 2020 at 08:39:06AM -0600, Lucas Raab wrote:
> Attached is an update to devel/intellij from 2019.2.3 to 2019.3.3. It
> builds and runs fine on my end, but Caspar, any thoughts as maintainer?

The diff looks good to me. I briefly tested it, it seems to work fine.
So ok with me, thanks.

I was recently thinking about giving up maintainership for this port
because I don't use it as frequently anymore, would you be interested
in taking over? It's ok if you don't want to do that, of course.

Thanks,
Caspar Schutijser

Reply via email to