On Sun, Aug 27 2017, Stuart Henderson <[email protected]> wrote: > This makes sense to me, any objections/OKs?
Makes sense to me too, ok. > From: Tom Van Looy <[email protected]> > Subject: Removing ports > To: [email protected] > Date: Fri, 25 Aug 2017 09:14:38 +0200 (2 days, 7 hours, 29 minutes ago) > > Hi Stuart > > I'm also working on PHP improvements (currently testing the revamp > patch of Martijn). I'm struggling with CVS at the moment, coming from > Git, I haven't completely figured it out yet. :-) > > But the reason I am emailing you is that I saw an outdated > zendframework in the ports tree and I think it's best to remove it > https://marc.info/?l=openbsd-ports&m=150135957813230&w=2 > > Is this the right way to report this and get this fixed? > > Regards > > Tom Van Looy > > ---------- > -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
