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@… |
|---|
comment:2 Changed 9 years ago by mojca (Mojca Miklavec)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Committed in r144659.
Note: See
TracTickets for help on using
tickets.
Port abandoned in #48644. Mojca, please proceed with your changes.