Opened 10 years ago

Closed 10 years ago

#43324 closed defect (fixed)

[port abandoned] icon

Reported by: mf2k (Frank Schima) Owned by: michipili (Michael Grünewald)
Priority: Normal Milestone:
Component: ports Version:
Keywords: Cc: cooljeanius (Eric Gallager)
Port: icon

Description

Maintainer did not respond to the most recent ticket #42378. Are you still interested in maintaining this port?

Change History (3)

comment:1 Changed 10 years ago by michipili (Michael Grünewald)

I am not a direct user of icon, but rely on the dependant noweb in my work. So, if someone wants to takeover icon it could land in better hands, otherwise, I can continue to take care of it.

comment:2 Changed 10 years ago by cooljeanius (Eric Gallager)

Cc: egall@… added

Cc Me!

comment:3 Changed 10 years ago by mf2k (Frank Schima)

Resolution: fixed
Status: newclosed

Thanks for the reply. I've added openmaintainer in r119038.

Note: See TracTickets for help on using tickets.