It's quite a bump for my php revamp, so I'm in favour. :-) martijn@
On 08/27/17 10:58, Stuart Henderson wrote: > This makes sense to me, any objections/OKs? > > > ----- Forwarded message from Tom Van Looy <[email protected]> ----- > > From: Tom Van Looy <[email protected]> > Date: Fri, 25 Aug 2017 09:14:38 +0200 > To: [email protected] > Subject: Removing ports > > 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 > > ----- End forwarded message ----- >
