Opened 9 years ago

Closed 9 years ago

#50212 closed enhancement (fixed)

liboping[-devel]: merge ports into a single port, fetch from github

Reported by: mojca (Mojca Miklavec) Owned by: mojca (Mojca Miklavec)
Priority: Normal Milestone:
Component: ports Version:
Keywords: Cc:
Port: liboping liboping-devel

Description

The two ports could easily go into a single file with two subports: they are almost identical. And the devel port could fetch files with a github PortGroup that would probably simplify things a lot and also allow mirroring files.

(If you need help with that, just ask.)

Change History (2)

comment:1 Changed 9 years ago by mf2k (Frank Schima)

Owner: changed from daniel@… to mojca@…

Port abandoned in #48644. Mojca, please proceed with your changes.

comment:2 Changed 9 years ago by mojca (Mojca Miklavec)

Resolution: fixed
Status: newclosed

Committed in r144659.

Note: See TracTickets for help on using tickets.